2012-04-30 | Christian Urban | removed special ML-setup and replaced it by explicit markups (i.e., %grayML) | file | diff | annotate |
2011-03-18 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2010-08-22 | Christian Urban | added something about Goal.prove_multi | file | diff | annotate |
2010-07-28 | Christian Urban | test | file | diff | annotate |
2010-05-29 | Christian Urban | tuned | file | diff | annotate |
2010-05-29 | Christian Urban | added example from Tobias and changed the title | file | diff | annotate |