| Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | file | diff | annotate |
| Tue, 09 Jan 2001 15:29:17 +0100 | nipkow | `` -> ` and ``` -> `` | file | diff | annotate |
| Fri, 05 Jan 2001 14:28:10 +0100 | nipkow | Changed priority of dvd from 70 to 50 as befits a relation. | 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 |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |