Этот коммит содержится в:
Julian Ospald 2015-04-23 23:02:44 +02:00
родитель f7eda19f1f
Коммит 7ea6b5dcd5
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 220CD1C5BDEED020
1 изменённых файлов: 2 добавлений и 0 удалений

Просмотреть файл

@ -92,6 +92,8 @@
\subsection{\ifger{Algebraische Datentypen}{Algebraic Data Types}}
\slidetoc
\slide{./content/VL1_ADT1.tex}
\slide{./content/VL1_ADT2.tex}[ (cnt.)]
\slide{./content/VL1_ADT3.tex}[ (cnt.)]