src/Pure/Thy/thy_parse.ML

   \ val parse_translation = [];\n\
   \ val print_translation = [];\n\
   \ val typed_print_translation = [];\n\
   \ val print_ast_translation = [];\n\
   \ val token_translation = [];\n\
-  \ val thy_data = []";
+  \ val thy_setup = []";
 
 val trfun_args =
   "(parse_ast_translation, parse_translation, \
   \print_translation, print_ast_translation)";
 

     \\n\
     \val thy = thy\n\
     \\n"
     ^ local_path ^
     "\n\
+    \|> Theory.setup thy_setup\n\
     \|> Theory.add_trfuns\n"
     ^ trfun_args ^ "\n\
     \|> Theory.add_trfunsT typed_print_translation\n\
     \|> Theory.add_tokentrfuns token_translation\n\
-    \|> Theory.init_data thy_data\n\
     \\n"
     ^ extxt ^ "\n\
     \\n\
     \|> Theory.add_name " ^ quote thy_name ^ ";\n\
     \\n\