| Sat, 04 Apr 1998 12:28:39 +0200 | wenzelm | replaced thy_data by thy_setup; | changeset | files |
| Sat, 04 Apr 1998 12:26:47 +0200 | wenzelm | type_error; | changeset | files |
| Sat, 04 Apr 1998 11:44:16 +0200 | wenzelm | replaced thy_data by setup; | changeset | files |
| Sat, 04 Apr 1998 11:43:39 +0200 | wenzelm | removed simple; | changeset | files |
| Sat, 04 Apr 1998 11:42:48 +0200 | wenzelm | added triv_goal, rev_triv_goal (for Isar); | changeset | files |
| 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 |