| Thu, 06 Sep 2007 11:32:28 +0200 | berghofe | Integrated Executable_Rat and Executable_Real theories into | changeset | files |
| Wed, 05 Sep 2007 21:09:11 +0200 | wenzelm | use preferences.ML: do setmp *here*, to capture intended default values; | changeset | files |
| Wed, 05 Sep 2007 20:48:25 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 05 Sep 2007 15:46:32 +0200 | urbanc | modified proofs so that they are not using claset() | changeset | files |
| Tue, 04 Sep 2007 15:30:31 +0200 | nipkow | tuned lemma; replaced !! by arbitrary | changeset | files |
| Tue, 04 Sep 2007 14:32:29 +0200 | ballarin | Improved comment. | changeset | files |
| Mon, 03 Sep 2007 16:50:53 +0200 | krauss | Documented function package in IsarRef-manual. | changeset | files |