![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Contents | 2026-01-17 22:54 | 1.3K | |
| NEWS.html | 2026-01-18 17:26 | 766K | |
| classes.pdf | 2026-01-18 17:25 | 426K | |
| codegen.pdf | 2026-01-18 17:25 | 707K | |
| corec.pdf | 2026-01-18 17:25 | 408K | |
| datatypes.pdf | 2026-01-18 17:25 | 619K | |
| demo_easychair.pdf | 2026-01-18 17:25 | 234K | |
| demo_eptcs.pdf | 2026-01-18 17:25 | 159K | |
| demo_foiltex.pdf | 2026-01-18 17:25 | 116K | |
| demo_lipics.pdf | 2026-01-18 17:25 | 412K | |
| demo_llncs.pdf | 2026-01-18 17:25 | 272K | |
| eisbach.pdf | 2026-01-18 17:25 | 422K | |
| fonts/ | 2026-01-18 17:26 | - | |
| functions.pdf | 2026-01-18 17:25 | 468K | |
| implementation.pdf | 2026-01-18 17:26 | 1.0M | |
| intro.pdf | 2026-01-18 17:26 | 766K | |
| isabelle.css | 2026-01-18 17:26 | 6.0K | |
| isar-ref.pdf | 2026-01-18 17:26 | 1.7M | |
| jedit.pdf | 2026-01-18 17:26 | 4.0M | |
| locales.pdf | 2026-01-18 17:25 | 409K | |
| logics-ZF.pdf | 2026-01-18 17:26 | 869K | |
| logics.pdf | 2026-01-18 17:26 | 857K | |
| main.pdf | 2026-01-18 17:25 | 282K | |
| nitpick.pdf | 2026-01-18 17:26 | 593K | |
| prog-prove.pdf | 2026-01-18 17:26 | 507K | |
| sledgehammer.pdf | 2026-01-18 17:26 | 511K | |
| sugar.pdf | 2026-01-18 17:25 | 381K | |
| system.pdf | 2026-01-18 17:26 | 717K | |
| tutorial.pdf | 2026-01-18 17:26 | 1.3M | |
| typeclass_hierarchy.pdf | 2026-01-18 17:26 | 343K | |