# HG changeset patch
# User wenzelm
# Date 891682884 -7200
# Node ID 90fc96d16df44c3811a010a5e4c09acb8c00e5ee
# Parent  9b6072bd71e4eec8a3050a509df2640b8094d14a
replaced thy_data by thy_setup;

diff -r 9b6072bd71e4 -r 90fc96d16df4 src/Pure/Thy/thy_parse.ML
--- 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\