| 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 |