| Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Sun, 15 Apr 2007 23:25:52 +0200 | wenzelm | read prop as prop, not term; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 28 Aug 2003 01:56:40 +0200 | skalberg | Extended the notion of letter and digit, such that now one may use greek, | file | diff | annotate |
| Mon, 21 Jul 2003 13:02:07 +0200 | paulson | Tidied some examples | file | diff | annotate |
| Wed, 19 Feb 2003 10:53:27 +0100 | paulson | fixed anomalies in the installed classical rules | file | diff | annotate |
| Thu, 23 Jan 2003 10:30:14 +0100 | paulson | tidying (by script) | file | diff | annotate |