| 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 |
| Sat, 04 Apr 1998 11:40:18 +0200 | wenzelm | tuned trace msgs; | changeset | files |