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