doc-src/IsarImplementation/implementation.tex
Mon, 02 May 2011 22:00:38 +0200 wenzelm just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;
Mon, 02 May 2011 17:28:09 +0200 wenzelm eliminated obsolete rail macros;
Sun, 01 May 2011 16:36:34 +0200 wenzelm eliminated copies of isabelle style files;
Fri, 22 Oct 2010 20:51:45 +0100 wenzelm removed ML_old.thy, which is largely superseded by ML.thy;
Fri, 15 Oct 2010 20:22:56 +0100 wenzelm tuned chapter arrangement;
Fri, 08 Oct 2010 20:59:01 +0100 wenzelm basic setup for ML antiquotations -- with rail diagrams;
Thu, 07 Oct 2010 19:05:42 +0100 wenzelm basic setup for Chapter 0: Isabelle/ML;
less more (0) -10 -7 tip