| Tue, 18 Mar 2008 21:27:25 +0100 | wenzelm | added ckeck_lookup flag (default false), which controls sanity check of thm lookup; | changeset | files |
| Tue, 18 Mar 2008 20:34:26 +0100 | wenzelm | updated generated files; | changeset | files |
| Tue, 18 Mar 2008 20:33:33 +0100 | wenzelm | tuned proof; | changeset | files |