| 2010-07-20 | Christian Urban | partially moved from string_of_term to pretty_term | file | diff | annotate |
| 2010-03-07 | Christian Urban | updated to new isabelle | file | diff | annotate |
| 2009-11-22 | Christian Urban | updated to new Isabelle and clarified Skip_Proof | file | diff | annotate |
| 2009-11-19 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2009-11-07 | Christian Urban | added type work and updated to Isabelle and poly 5.3 | file | diff | annotate |
| 2009-11-01 | Christian Urban | tuned index | file | diff | annotate |
| 2009-10-25 | Christian Urban | some polishing | file | diff | annotate |
| 2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |