src/HOLCF/ax_ops/thy_syntax.ML

                     ThyAxioms.axioms_sections @
                     ThyOps.ops_sections;
 end;
 
 structure ThySyn = ThySynFun(ThySynData);
-init_thy_reader ();
+set_parser ThySyn.parse;