| Tue, 08 Oct 2002 08:20:17 +0200 | nipkow | Got rid of rotates because of new simplifier | file | diff | annotate |
| Fri, 27 Sep 2002 16:44:50 +0200 | paulson | Proof tidying | file | diff | annotate |
| Fri, 27 Sep 2002 13:24:29 +0200 | paulson | Isar experiments, etc. | file | diff | annotate |
| Thu, 26 Sep 2002 10:40:13 +0200 | paulson | converted to Isar and using new "implicit structures" instead of Sigma, etc | file | diff | annotate |
| Tue, 03 Jul 2001 15:28:24 +0200 | paulson | Locale-based group theory proofs | file | diff | annotate |