Sun, 21 Mar 2010 17:12:31 +0100 |
wenzelm |
standard headers;
|
file |
diff |
annotate
|
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
|