src/ZF/ex/Comb.ML

   val rec_specs = 
       [("comb", "univ(0)",
 	  [(["K","S"],	"i"),
 	   (["op #"],	"[i,i]=>i")])];
   val rec_styp = "i";
-  val ext = Some (Syntax.simple_sext [Infixl("#", "[i,i] => i", 90)]);
+  val ext = Some (Syntax.simple_sext [OldMixfix.Infixl("#", "[i,i] => i", 90)]);
   val sintrs = 
 	  ["K : comb",
 	   "S : comb",
 	   "[| p: comb;  q: comb |] ==> p#q : comb"];
   val monos = [];