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 |