2009-11-05 | Christian Urban | tuned | file | diff | annotate |
2009-11-02 | Christian Urban | solved problem with mixfix. | file | diff | annotate |
2009-11-01 | Christian Urban | tuned index | file | diff | annotate |
2009-10-30 | haftmann | tuned | file | diff | annotate |
2009-10-27 | Christian Urban | tuned | file | diff | annotate |
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 |