| Wed, 04 Oct 1995 13:01:05 +0100 | clasohm | removed command for loading Provers/simplifier.ML (now done in Pure/Thy/ROOT) | changeset | files |
| Wed, 04 Oct 1995 12:59:52 +0100 | clasohm | added removal of theorems if theory is to be reloaded; changed functions for | changeset | files |
| Wed, 04 Oct 1995 12:57:50 +0100 | clasohm | changed usage of structure Simplifier | changeset | files |
| Wed, 04 Oct 1995 12:53:35 +0100 | clasohm | renamed SS to Simpset; fixed bug in merge_ss | changeset | files |