Tue, 07 Nov 2006 09:59:43 +0100 | krauss | method exported | changeset | files |
Tue, 07 Nov 2006 09:41:14 +0100 | krauss | updated NEWS | changeset | files |
Tue, 07 Nov 2006 09:33:47 +0100 | krauss | * Added annihilation axioms ("x * 0 = 0") to axclass semiring_0. | changeset | files |