| Wed, 31 Oct 2001 21:59:25 +0100 | wenzelm | added local_standard; | changeset | files |
| Wed, 31 Oct 2001 21:59:07 +0100 | wenzelm | IsarThy.theorem_i: no locale; | changeset | files |
| Wed, 31 Oct 2001 21:58:04 +0100 | wenzelm | removed obsolete (rule equal_intr_rule); | changeset | files |
| Wed, 31 Oct 2001 20:00:35 +0100 | berghofe | Additional rules for simplifying inside "Goal" | changeset | files |
| Wed, 31 Oct 2001 19:59:21 +0100 | berghofe | - Tuned add_cnstrt | changeset | files |
| 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 |