| Wed, 31 Oct 2001 19:49:36 +0100 | berghofe | Removed name_thm from finish_global. | changeset | files |
| Wed, 31 Oct 2001 19:41:29 +0100 | berghofe | Tuned function thm_proof. | changeset | files |
| Wed, 31 Oct 2001 19:37:04 +0100 | berghofe | - enter_thmx -> enter_thms | changeset | files |
| Wed, 31 Oct 2001 19:32:05 +0100 | berghofe | norm_hhf_eq is now stored using open_store_standard_thm. | changeset | files |