ProgTutorial/Recipes/CallML.thy
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