changeset 72053 | 4ed33ea8d957 |
parent 71777 | 3875815f5967 |
child 74330 | d882abae3379 |
--- a/src/Pure/pure_thy.ML Thu Jul 16 22:24:03 2020 +0200 +++ b/src/Pure/pure_thy.ML Fri Jul 17 14:56:55 2020 +0200 @@ -78,7 +78,7 @@ ["_tfree", "_tvar", "_free", "_bound", "_loose", "_var", "_numeral", "_inner_string"]; val _ = Theory.setup - (Sign.theory_naming #> + (Sign.init_naming #> Old_Appl_Syntax.put false #> Sign.add_types_global [(Binding.make ("fun", \<^here>), 2, NoSyn),