2009-10-22 | Christian Urban | included a comment from Tim Bourke | file | diff | annotate |
2009-10-22 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-10-20 | Christian Urban | added something about add_thms_dynamic | file | diff | annotate |
2009-10-19 | Christian Urban | some slight polishing | file | diff | annotate |