| Thu, 01 Nov 2001 21:10:47 +0100 | wenzelm | beginnings of new locales (not yet functional); | changeset | files |
| Thu, 01 Nov 2001 21:10:13 +0100 | wenzelm | Goals.setup; | changeset | files |
| Thu, 01 Nov 2001 21:09:53 +0100 | wenzelm | parking code for old-style locales here; | changeset | files |
| Wed, 31 Oct 2001 22:05:37 +0100 | wenzelm | tuned notation (degree instead of dollar); | changeset | files |
| Wed, 31 Oct 2001 22:04:29 +0100 | wenzelm | theorem(_i): locale argument; | changeset | files |
| Wed, 31 Oct 2001 22:02:33 +0100 | wenzelm | Proof.init_state thy None; | changeset | files |
| Wed, 31 Oct 2001 22:02:11 +0100 | wenzelm | simplified export; | changeset | files |
| Wed, 31 Oct 2001 22:00:25 +0100 | wenzelm | 'atomize': CHANGED_PROP; | changeset | files |
| Wed, 31 Oct 2001 22:00:02 +0100 | wenzelm | global statements: locale argument; | changeset | files |
| 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 |