| Tue, 28 Feb 2012 15:54:51 +0100 | blanchet | use SPASS instead of E for Metis examples -- it's seems faster for these small problems | changeset | files |
| Tue, 28 Feb 2012 15:54:51 +0100 | blanchet | spelling | changeset | files |
| Tue, 28 Feb 2012 21:53:36 +0100 | wenzelm | avoid undeclared variables in let bindings; | changeset | files |
| Tue, 28 Feb 2012 20:20:09 +0100 | wenzelm | tuned proofs; | changeset | files |