changeset 983 | 6f80fed73e29 |
parent 433 | 1e4f420523ae |
child 1243 | fa09705a5890 |
--- a/src/Provers/simplifier.ML Thu Mar 30 13:44:34 1995 +0200 +++ b/src/Provers/simplifier.ML Thu Mar 30 13:48:30 1995 +0200 @@ -6,8 +6,8 @@ Generic simplifier, suitable for most logics. *) -infix addsimps addeqcongs delsimps - setsolver setloop setmksimps setsubgoaler; +infix 4 addsimps addeqcongs delsimps + setsolver setloop setmksimps setsubgoaler; signature SIMPLIFIER = sig