src/Provers/simp.ML
1993-09-16 ago changed addcongs to addeqcongs in simplifier.ML
1993-09-16 ago Initial revision