src/Provers/simplifier.ML

--- 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