src/Pure/Syntax/syntax_phases.ML

 
 
 (* setup translations *)
 
 val _ = Context.>> (Context.map_theory
- (Sign.add_advanced_trfuns
-  ([("_context_const", const_ast_tr true),
-    ("_context_xconst", const_ast_tr false)], [], [], []) #>
-  Sign.add_advanced_trfunsT
+ (Sign.parse_ast_translation
+   [("_context_const", const_ast_tr true),
+    ("_context_xconst", const_ast_tr false)] #>
+  Sign.typed_print_translation
    [("_type_prop", type_prop_tr'),
     ("\\<^const>TYPE", type_tr'),
     ("_type_constraint_", type_constraint_tr')]));