| Wed, 02 Jan 2008 15:14:02 +0100 | haftmann | splitted class uminus from class minus | file | diff | annotate |
| Sun, 19 Nov 2006 23:48:55 +0100 | wenzelm | HOL-Algebra: converted legacy ML scripts; | file | diff | annotate |
| Sat, 17 Sep 2005 20:49:14 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Wed, 30 Apr 2003 10:01:35 +0200 | ballarin | Greatly extended CRing. Added Module. | file | diff | annotate |
| Thu, 28 Nov 2002 10:50:42 +0100 | ballarin | HOL-Algebra partially ported to Isar. | file | diff | annotate |
| Mon, 15 Oct 2001 20:34:26 +0200 | wenzelm | ring instead of ringS; | file | diff | annotate |
| Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | file | diff | annotate |
| Fri, 07 Jul 2000 18:27:47 +0200 | nipkow | added type classes to constant's type | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |