Wed, 30 Apr 2003 18:33:41 +0200 | ballarin | Unknown change. | changeset | files |
Wed, 30 Apr 2003 18:32:06 +0200 | ballarin | HOL-Algebra: New polynomial development added. | changeset | files |
Wed, 30 Apr 2003 18:31:38 +0200 | ballarin | HOL-Algebra: new dependencies. | changeset | files |
Wed, 30 Apr 2003 18:30:57 +0200 | ballarin | Simplifier: congruence rule update. | changeset | files |
Wed, 30 Apr 2003 17:53:47 +0200 | nipkow | added a thm | changeset | files |
Wed, 30 Apr 2003 10:01:35 +0200 | ballarin | Greatly extended CRing. Added Module. | changeset | files |
Tue, 29 Apr 2003 12:36:49 +0200 | paulson | tweaks | changeset | files |