| Sat, 04 Apr 1998 11:42:26 +0200 | wenzelm | added Goal_def; | changeset | files |
| Sat, 04 Apr 1998 11:41:24 +0200 | wenzelm | replaced thy_data by thy_setup; | changeset | files |
| Sat, 04 Apr 1998 11:41:00 +0200 | wenzelm | added local_theory (for Isar); | changeset | files |