Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | changeset | files |
Sat, 10 Feb 2001 08:49:36 +0100 | ballarin | Definition of setsum (sort constraint) relaxed to {zero, plus}. | changeset | files |
Sat, 10 Feb 2001 08:48:10 +0100 | ballarin | Updates to HOL/Algebra: | changeset | files |