| 2009-11-17 | Christian Urban | modified the typ-pretty-printer and added parser exercise | file | diff | annotate |
| 2009-11-17 | Christian Urban | added example by Lukas Bulwahn | file | diff | annotate |
| 2009-10-25 | Christian Urban | some polishing | file | diff | annotate |
| 2009-10-22 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-10-19 | Christian Urban | completed section on theorems | file | diff | annotate |
| 2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |