changeset 42288 | 2074b31650e6 |
parent 39066 | 4517a4049588 |
child 42293 | 6cca0343ea48 |
--- a/doc-src/Codegen/Thy/Setup.thy Fri Apr 08 14:20:57 2011 +0200 +++ b/doc-src/Codegen/Thy/Setup.thy Fri Apr 08 15:02:11 2011 +0200 @@ -10,8 +10,8 @@ setup {* let val typ = Simple_Syntax.read_typ; - val typeT = Syntax.typeT; - val spropT = Syntax.spropT; + val typeT = Syntax_Ext.typeT; + val spropT = Syntax_Ext.spropT; in Sign.del_modesyntax_i (Symbol.xsymbolsN, false) [ ("_constrain", typ "logic => type => logic", Mixfix ("_\<Colon>_", [4, 0], 3)),