--- a/src/Doc/Codegen/Setup.thy Fri Mar 21 10:45:03 2014 +0100
+++ b/src/Doc/Codegen/Setup.thy Fri Mar 21 11:06:39 2014 +0100
@@ -19,10 +19,10 @@
let
val typ = Simple_Syntax.read_typ;
in
- Sign.del_modesyntax (Symbol.xsymbolsN, false)
+ Sign.del_syntax (Symbol.xsymbolsN, false)
[("_constrain", typ "logic => type => logic", Mixfix ("_\<Colon>_", [4, 0], 3)),
("_constrain", typ "prop' => type => prop'", Mixfix ("_\<Colon>_", [4, 0], 3))] #>
- Sign.add_modesyntax (Symbol.xsymbolsN, false)
+ Sign.add_syntax (Symbol.xsymbolsN, false)
[("_constrain", typ "logic => type => logic", Mixfix ("_ \<Colon> _", [4, 0], 3)),
("_constrain", typ "prop' => type => prop'", Mixfix ("_ \<Colon> _", [4, 0], 3))]
end