| Tue, 14 May 2019 11:10:53 +0200 | Norbert Schirmer | Accomodate to Isabelle 2018 | file | diff | annotate |
| Thu, 04 Oct 2012 13:00:31 +0100 | Christian Urban | removed "use" for "ML_file" | file | diff | annotate |
| Mon, 27 Aug 2012 10:24:10 +0100 | Christian Urban | adapted to new build framework | file | diff | annotate |
| Mon, 30 Apr 2012 14:43:52 +0100 | Christian Urban | removed special ML-setup and replaced it by explicit markups (i.e., %grayML) | file | diff | annotate |
| Fri, 29 Oct 2010 13:46:37 +0200 | griff | 'Iff_Oracle.thy' has moved | file | diff | annotate |
| Tue, 13 Oct 2009 22:57:25 +0200 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
| Fri, 27 Mar 2009 12:49:28 +0000 | Christian Urban | more work on simple inductive and marked all sections that are still seriously incomplete with TBD | file | diff | annotate |
| Thu, 19 Mar 2009 13:28:16 +0100 | Christian Urban | made more of the transition from "CookBook" to "ProgTutorial" | file | diff | annotate | base |