ProgTutorial/Recipes/CallML.thy
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-03-18 Christian Urban updated to new Isabelle
2010-08-22 Christian Urban added something about Goal.prove_multi
2010-07-28 Christian Urban test
2010-05-29 Christian Urban tuned
2010-05-29 Christian Urban added example from Tobias and changed the title
less more (0) tip