Thu, 30 Mar 1995 13:36:00 +0200 Defined addss to perform simplification in a claset.
lcp [Thu, 30 Mar 1995 13:36:00 +0200] rev 981
Defined addss to perform simplification in a claset. Precedence of addcongs is now 4 (to match that of other simplifier infixes)
Thu, 30 Mar 1995 13:07:59 +0200 removed unnecessary parentheses from the generated rules
clasohm [Thu, 30 Mar 1995 13:07:59 +0200] rev 980
removed unnecessary parentheses from the generated rules
Thu, 30 Mar 1995 08:54:17 +0200 Simplification: used Logic.occs instead of mem add_term_frees
nipkow [Thu, 30 Mar 1995 08:54:17 +0200] rev 979
Simplification: used Logic.occs instead of mem add_term_frees
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip