| 2009-10-22 | Christian Urban | included a comment from Tim Bourke | file | diff | annotate |
| 2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
| 2009-10-11 | Christian Urban | added structures in the index | file | diff | annotate |
| 2009-10-03 | Christian Urban | updated to new Isabelle; more work on the data section | file | diff | annotate |
| 2009-10-02 | Christian Urban | more work on the storing section | file | diff | annotate |
| 2009-10-01 | Christian Urban | more work on the tutorial | file | diff | annotate |
| 2009-09-28 | Christian Urban | updated foobar_proof example | file | diff | annotate |
| 2009-08-24 | Christian Urban | included some tests | file | diff | annotate |