1995-10-04 | clasohm | added removal of theorems if theory is to be reloaded; changed functions for | changeset | files |
1995-10-04 | clasohm | changed usage of structure Simplifier | changeset | files |
1995-10-04 | clasohm | renamed SS to Simpset; fixed bug in merge_ss | changeset | files |
1995-09-26 | paulson | added new example by John Harrison | changeset | files |
1995-09-21 | wenzelm | bicompose_aux: tuned fix_shyps; | changeset | files |
1995-09-21 | wenzelm | added comment; | changeset | files |
Loading... |