2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
2009-06-23 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-05-17 | Christian Urban | some polishing; added together with Jasmin more examples to the pretty printing section | file | diff | annotate |
2009-04-03 | Christian Urban | various additions | file | diff | annotate |
2009-04-02 | Christian Urban | section for further material about simple inductive | file | diff | annotate |