| Sat, 17 May 2008 23:37:09 +0200 | wenzelm | avoid undeclared variables within proofs; | changeset | files |
| Sat, 17 May 2008 23:37:07 +0200 | wenzelm | avoid undeclared variables within proofs; | changeset | files |
| Sat, 17 May 2008 21:46:24 +0200 | wenzelm | tuned proof; | changeset | files |
| Sat, 17 May 2008 21:46:22 +0200 | wenzelm | avoid undeclared variables within proofs; | changeset | files |