![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Demos/ | 2026-06-18 11:29 | - | |
| Ex01.pdf | 2026-06-18 11:29 | 74K | |
| Ex01_Tut_Sol.thy | 2026-06-18 11:29 | 1.6K | |
| Ex02.pdf | 2026-06-18 11:29 | 85K | |
| Ex02_Tut.thy | 2026-06-18 11:29 | 877 | |
| Ex02_Tut_Sol.thy | 2026-06-18 11:29 | 1.6K | |
| Ex03.pdf | 2026-06-18 11:29 | 68K | |
| Ex03_Tut.thy | 2026-06-18 11:29 | 1.3K | |
| Ex03_Tut_Sol.thy | 2026-06-18 11:29 | 3.6K | |
| Ex04.pdf | 2026-06-18 11:29 | 71K | |
| Ex04_Tut.thy | 2026-06-18 11:29 | 761 | |
| Ex04_Tut_Sol.thy | 2026-06-18 11:29 | 3.6K | |
| Ex05.pdf | 2026-06-18 11:29 | 107K | |
| Ex05_Tut.thy | 2026-06-18 11:29 | 1.5K | |
| Ex05_Tut_Sol.thy | 2026-06-18 11:29 | 3.8K | |
| Ex06.pdf | 2026-06-18 11:29 | 101K | |
| Ex06_Tut.thy | 2026-06-18 11:29 | 857 | |
| Ex06_Tut_Sol.thy | 2026-06-18 11:29 | 2.5K | |
| Ex07.pdf | 2026-06-18 11:29 | 75K | |
| Ex07_Tut.thy | 2026-06-18 11:29 | 815 | |
| Ex07_Tut_Sol.thy | 2026-06-18 11:29 | 4.4K | |
| Ex08.pdf | 2026-06-18 11:29 | 83K | |
| Ex08_Tut.thy | 2026-06-18 11:29 | 788 | |
| Ex08_Tut_Sol.thy | 2026-06-18 11:29 | 2.2K | |
| Ex09.pdf | 2026-06-18 11:29 | 68K | |
| Ex09_Tut.thy | 2026-06-18 11:29 | 305 | |
| Ex09_Tut1.thy | 2026-06-18 11:29 | 1.3K | |
| Ex09_Tut1_Sol.thy | 2026-06-18 11:29 | 2.6K | |
| Ex09_Tut_Sol.thy | 2026-06-18 11:29 | 1.4K | |
| Ex10.pdf | 2026-06-18 11:29 | 76K | |
| Ex10_Tut.thy | 2026-06-18 11:29 | 2.2K | |
| Ex10_Tut_Sol.thy | 2026-06-18 11:29 | 4.9K | |
| Ex11.pdf | 2026-06-18 11:29 | 75K | |
| Ex11_Tut.thy | 2026-06-18 11:29 | 2.1K | |
| Ex11_Tut_Sol.thy | 2026-06-18 11:29 | 3.8K | |
| Ex12.pdf | 2026-06-18 11:29 | 80K | |
| Ex12_Tut.thy | 2026-06-18 11:29 | 2.1K | |
| Ex12_Tut_Sol.thy | 2026-06-18 11:29 | 7.7K | |
| Ex13.pdf | 2026-06-18 11:29 | 87K | |
| Ex13_Tut | 2026-06-18 11:29 | 1.1K | |
| Ex13_Tut_Sol.thy | 2026-06-18 11:29 | 2.9K | |
| FDS_SS20_exam.zip | 2026-06-18 11:29 | 4.1K | |
| book-draft.pdf | 2026-06-18 11:29 | 1.2M | |
| exam-sol.pdf | 2026-06-18 11:29 | 81K | |
| exam.pdf | 2026-06-18 11:29 | 115K | |
| prog-prove.pdf | 2026-06-18 11:29 | 524K | |
| slides-fds.pdf | 2026-06-18 11:29 | 1.1M | |
| slides-isabelle.pdf | 2026-06-18 11:29 | 375K | |