| Wed, 04 Oct 1995 13:10:03 +0100 | clasohm | added local simpsets; removed IOA from 'make test' | changeset | files |
| 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 |
| Tue, 26 Sep 1995 11:49:55 +0100 | paulson | added new example by John Harrison | changeset | files |