Thu, 15 Sep 2011 10:57:40 +0200 | blanchet | tail recursive proof preprocessing (needed for huge proofs) | changeset | files |
Thu, 15 Sep 2011 10:57:40 +0200 | blanchet | tuning | changeset | files |
Thu, 15 Sep 2011 09:44:27 +0200 | nipkow | merged | changeset | files |