| 2009-11-19 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-11-18 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-17 | Christian Urban | modified the typ-pretty-printer and added parser exercise | file | diff | annotate |
| 2009-11-15 | Christian Urban | tuned | file | diff | annotate |
| 2009-11-15 | Christian Urban | added Skip_Proof.mk_thm and some pointers about concurrency | file | diff | annotate |
| 2009-11-12 | Christian Urban | completed the unification section | file | diff | annotate |