replaced thy_data by thy_setup;

--- a/src/Pure/Thy/thy_parse.ML	Sat Apr 04 11:41:00 1998 +0200
+++ b/src/Pure/Thy/thy_parse.ML	Sat Apr 04 11:41:24 1998 +0200
@@ -345,7 +345,7 @@
   \ 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, \
@@ -503,11 +503,11 @@
     \\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\