| Thu, 13 Dec 2001 15:45:03 +0100 | wenzelm | isatool expandshort; | file | diff | annotate |
| Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | file | diff | annotate |
| Tue, 17 Oct 2000 10:20:43 +0200 | paulson | tidying and renaming of contrapos rules | file | diff | annotate |
| Thu, 12 Oct 2000 12:16:58 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 13 Apr 2000 15:16:32 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 11 Nov 1999 10:25:29 +0100 | paulson | tidied | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |