Thu, 23 Jan 2003 09:16:53 +0100 |
ballarin |
Fixed term order for normal form in rings.
|
file |
diff |
annotate
|
Thu, 28 Nov 2002 10:50:42 +0100 |
ballarin |
HOL-Algebra partially ported to Isar.
|
file |
diff |
annotate
|
Fri, 30 Aug 2002 16:42:45 +0200 |
paulson |
removal of blast.overloaded
|
file |
diff |
annotate
|
Mon, 15 Oct 2001 20:34:12 +0200 |
wenzelm |
ring includes plus_ac0;
|
file |
diff |
annotate
|
Sat, 10 Feb 2001 08:52:41 +0100 |
ballarin |
Changes to HOL/Algebra:
|
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
|
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
|
Fri, 15 Sep 2000 15:30:50 +0200 |
paulson |
the final renaming: selectI -> someI
|
file |
diff |
annotate
|
Wed, 19 Jul 2000 12:28:32 +0200 |
paulson |
renamed // to / (which is what we want anyway) to avoid clash with the new
|
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
|