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