| 2010-05-17 | Christian Urban | updated to new isabelle | file | diff | annotate |
| 2010-04-07 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-11-25 | Christian Urban | added RANGE | file | diff | annotate |
| 2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
| 2009-06-23 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-05-17 | Christian Urban | some polishing; added together with Jasmin more examples to the pretty printing section | file | diff | annotate |
| 2009-04-03 | Christian Urban | various additions | file | diff | annotate |
| 2009-04-02 | Christian Urban | section for further material about simple inductive | file | diff | annotate |