| Tue, 04 Jul 2006 11:36:08 +0200 | ballarin | Typo. | file | diff | annotate |
| Tue, 13 Dec 2005 15:34:21 +0100 | paulson | meson no longer does these examples | file | diff | annotate |
| Wed, 20 Jul 2005 17:01:20 +0200 | paulson | revised examples | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Wed, 02 Feb 2005 18:06:25 +0100 | paulson | tidying of some subst/simplesubst proofs | file | diff | annotate |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| Mon, 22 Nov 2004 11:54:08 +0100 | nipkow | fixed proof | file | diff | annotate |
| Mon, 12 Jan 2004 16:51:45 +0100 | paulson | Added lemmas to Ring_and_Field with slightly modified simplification rules | file | diff | annotate |
| Tue, 07 May 2002 14:27:39 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
| Thu, 14 Mar 2002 16:48:34 +0100 | paulson | converted theory "set" to Isar and added some SET-VAR examples | file | diff | annotate |
| Wed, 21 Jun 2000 15:58:23 +0200 | wenzelm | fixed deps; | file | diff | annotate |