| Thu, 15 Sep 2005 22:16:23 +0200 | chaieb | The SMLNJ Problem fixed... | changeset | files |
| Thu, 15 Sep 2005 20:38:47 +0200 | chaieb | getting it work for SMLNJ | changeset | files |
| Thu, 15 Sep 2005 20:27:48 +0200 | wenzelm | * Improved efficiency of the Simplifier etc.; | changeset | files |
| Thu, 15 Sep 2005 20:25:04 +0200 | wenzelm | incorporated into NEWS; | changeset | files |
| Thu, 15 Sep 2005 20:24:53 +0200 | wenzelm | incorporated HOL/Hyperreal/CHANGES; | changeset | files |
| Thu, 15 Sep 2005 17:46:00 +0200 | paulson | massive tidy-up and simplification | changeset | files |
| Thu, 15 Sep 2005 17:45:17 +0200 | paulson | moving Commutative_Ring to the correct theory | changeset | files |