| 2010-05-27 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-10-30 | haftmann | avoid value restriction | file | diff | annotate |
| 2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
| 2009-08-20 | Christian Urban | further polishing of index generation | file | diff | annotate |
| 2009-08-20 | Christian Urban | simplified a bit the index generation | file | diff | annotate |
| 2009-07-30 | Christian Urban | tuned figure placement | file | diff | annotate |
| 2009-07-30 | Christian Urban | polished the package chapter used FOCUS to explain the subproofs | file | diff | annotate |