| 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 |