src/Pure/Thy/thy_parse.ML
changeset 2385 73d1435aa729
parent 2360 1b6bc618c356
child 2694 b98365c6e869
     1.1 --- a/src/Pure/Thy/thy_parse.ML	Fri Dec 13 17:37:11 1996 +0100
     1.2 +++ b/src/Pure/Thy/thy_parse.ML	Fri Dec 13 17:37:42 1996 +0100
     1.3 @@ -337,6 +337,7 @@
     1.4    " val parse_ast_translation = [];\n\
     1.5    \ val parse_translation = [];\n\
     1.6    \ val print_translation = [];\n\
     1.7 +  \ val typed_print_translation = [];\n\
     1.8    \ val print_ast_translation = [];";
     1.9  
    1.10  val trfun_args =
    1.11 @@ -480,6 +481,7 @@
    1.12          \\n\
    1.13          \|> add_trfuns\n"
    1.14          ^ trfun_args ^ "\n\
    1.15 +        \|> add_trfunsT typed_print_translation \n\
    1.16          \\n"
    1.17          ^ extxt ^ "\n\
    1.18          \\n\