# HG changeset patch
# User lcp
# Date 796564110 -7200
# Node ID 6f80fed73e294c2d180f5348ffb554f6f0d18d9d
# Parent  4fe0b642b7d503de9190204cc68a25897e6bd0a2
Precedence of infixes is now 4 (just above that of :=)

diff -r 4fe0b642b7d5 -r 6f80fed73e29 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