| Fri, 22 Oct 2010 20:51:45 +0100 | wenzelm | removed ML_old.thy, which is largely superseded by ML.thy; | file | diff | annotate |
| Fri, 15 Oct 2010 20:22:56 +0100 | wenzelm | tuned chapter arrangement; | file | diff | annotate |
| Fri, 08 Oct 2010 20:59:01 +0100 | wenzelm | basic setup for ML antiquotations -- with rail diagrams; | file | diff | annotate |
| Thu, 07 Oct 2010 19:05:42 +0100 | wenzelm | basic setup for Chapter 0: Isabelle/ML; | file | diff | annotate |
| Mon, 08 Feb 2010 14:04:51 +0100 | wenzelm | more quotes; | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |