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 |