src/Provers/simp.ML
1996-02-16 ago Elimination of fully-functorial style.
1994-09-14 ago now uses Sign.const_type;
1994-01-18 ago Updated refs to old Sign functions
1993-09-16 ago changed addcongs to addeqcongs in simplifier.ML
1993-09-16 ago Initial revision