ProgTutorial/Recipes/TimeLimit.thy
Mon, 30 Apr 2012 14:43:52 +0100 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
Tue, 13 Oct 2009 22:57:25 +0200 Christian Urban tuned the ML-output mechanism; tuned slightly the text
Thu, 19 Mar 2009 23:21:26 +0100 Christian Urban polished some recipies
Thu, 19 Mar 2009 13:28:16 +0100 Christian Urban made more of the transition from "CookBook" to "ProgTutorial"
less more (0) tip