| 2012-04-30 | Christian Urban | removed special ML-setup and replaced it by explicit markups (i.e., %grayML) | file | diff | annotate |
| 2011-06-21 | Christian Urban | added an excercise originally by Jasmin Blanchette | file | diff | annotate |
| 2011-02-23 | Christian Urban | updated to post-2011 Isabelle | file | diff | annotate |
| 2010-08-13 | Christian Urban | tuned | file | diff | annotate |
| 2010-08-13 | Christian Urban | added an example to be used for conversions later on | file | diff | annotate |
| 2010-07-28 | Christian Urban | test | file | diff | annotate |
| 2010-07-20 | Christian Urban | partially moved from string_of_term to pretty_term | file | diff | annotate |