| Mon, 27 Sep 1999 10:25:10 +0200 | paulson | removed order-sorted theorems from the default claset | changeset | files |
| Sun, 26 Sep 1999 16:46:25 +0200 | wenzelm | added 'thms_containing', 'ML_setup'; | changeset | files |
| Sun, 26 Sep 1999 16:45:00 +0200 | wenzelm | added print_thms_containing; | changeset | files |
| Sun, 26 Sep 1999 16:44:03 +0200 | wenzelm | use_mltext: Context.setmp only; | changeset | files |
| Sun, 26 Sep 1999 16:42:14 +0200 | wenzelm | help: unknown theory context; | changeset | files |
| Sun, 26 Sep 1999 16:41:16 +0200 | wenzelm | added keep', theory'; | changeset | files |
| Sun, 26 Sep 1999 16:39:54 +0200 | wenzelm | help: unkown theory context; | changeset | files |