src/ZF/thy_syntax.ML

                      ("codatatype",  datatype_decl "Co")];
 end;
 
 
 structure ThySyn = ThySynFun(ThySynData);
-init_thy_reader ();
+set_parser ThySyn.parse;