| Sat, 17 Sep 2005 20:49:14 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Thu, 28 Nov 2002 10:50:42 +0100 | ballarin | HOL-Algebra partially ported to Isar. | 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 |
| Fri, 10 Nov 2000 19:15:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |