1995-10-04 clasohm added removal of theorems if theory is to be reloaded; changed functions for
1995-10-04 clasohm changed usage of structure Simplifier
1995-10-04 clasohm renamed SS to Simpset; fixed bug in merge_ss
1995-09-26 paulson added new example by John Harrison
1995-09-21 wenzelm bicompose_aux: tuned fix_shyps;
1995-09-21 wenzelm added comment;
Loading...
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip