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 |
Tue, 29 Apr 2003 12:36:40 +0200 | paulson | better guarantees | changeset | files |