| 2011-11-30 | Christian Urban | updated to Isabelle 30 November | file | diff | annotate |
| 2011-11-17 | Christian Urban | tuned | file | diff | annotate |
| 2011-11-02 | Christian Urban | tuned | file | diff | annotate |
| 2011-10-30 | Christian Urban | updated | file | diff | annotate |
| 2011-06-21 | Christian Urban | added an excercise originally by Jasmin Blanchette | file | diff | annotate |
| 2011-06-14 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2011-02-23 | Christian Urban | updated to post-2011 Isabelle | file | diff | annotate |
| 2010-10-29 | Christian Urban | disabled foobar_prove; updated to new Isabelle | file | diff | annotate |