| Tue, 18 Mar 2008 23:25:06 +0100 | wenzelm | theory loader: discontinued *attached* ML scripts; | changeset | files |
| Tue, 18 Mar 2008 22:19:18 +0100 | wenzelm | converted legacy ML scripts; | changeset | files |
| Tue, 18 Mar 2008 21:57:36 +0100 | wenzelm | valid_thms: get_thms_silent; | changeset | files |
| Tue, 18 Mar 2008 21:57:35 +0100 | wenzelm | removed check_lookup; | changeset | files |
| 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 |