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 |