| Thu, 04 Dec 2003 10:29:17 +0100 | paulson | Tidying of the integer development; towards removing the | changeset | files |
| Wed, 03 Dec 2003 10:49:34 +0100 | paulson | Simplification of the development of Integers | changeset | files |
| Tue, 02 Dec 2003 11:48:15 +0100 | paulson | More re-organising of numerical theorems | changeset | files |
| Fri, 28 Nov 2003 12:09:37 +0100 | paulson | conversion of some Real theories to Isar scripts | changeset | files |
| Thu, 27 Nov 2003 10:47:55 +0100 | paulson | Removal of Hyperreal/ExtraThms2.ML, sending the material to the correct files. | changeset | files |
| Tue, 25 Nov 2003 10:37:03 +0100 | paulson | More refinements to Ring_and_Field and numerics. Conversion of Divides_lemmas | changeset | files |