| Thu, 09 Feb 2012 19:34:23 +0100 | wenzelm | basic setup for equational reasoning; | file | diff | annotate |
| 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; | file | diff | annotate |
| Mon, 02 May 2011 17:28:09 +0200 | wenzelm | eliminated obsolete rail macros; | file | diff | annotate |
| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |
| 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 |