src/Pure/Thy/thy_parse.ML
changeset 4787 90fc96d16df4
parent 4707 abe6f28a38c1
child 4852 58b5006d36cc
     1.1 --- a/src/Pure/Thy/thy_parse.ML	Sat Apr 04 11:41:00 1998 +0200
     1.2 +++ b/src/Pure/Thy/thy_parse.ML	Sat Apr 04 11:41:24 1998 +0200
     1.3 @@ -345,7 +345,7 @@
     1.4    \ val typed_print_translation = [];\n\
     1.5    \ val print_ast_translation = [];\n\
     1.6    \ val token_translation = [];\n\
     1.7 -  \ val thy_data = []";
     1.8 +  \ val thy_setup = []";
     1.9  
    1.10  val trfun_args =
    1.11    "(parse_ast_translation, parse_translation, \
    1.12 @@ -503,11 +503,11 @@
    1.13      \\n"
    1.14      ^ local_path ^
    1.15      "\n\
    1.16 +    \|> Theory.setup thy_setup\n\
    1.17      \|> Theory.add_trfuns\n"
    1.18      ^ trfun_args ^ "\n\
    1.19      \|> Theory.add_trfunsT typed_print_translation\n\
    1.20      \|> Theory.add_tokentrfuns token_translation\n\
    1.21 -    \|> Theory.init_data thy_data\n\
    1.22      \\n"
    1.23      ^ extxt ^ "\n\
    1.24      \\n\