--- a/src/Pure/Proof/proof_syntax.ML Tue Sep 17 17:05:37 2024 +0200
+++ b/src/Pure/Proof/proof_syntax.ML Tue Sep 17 17:51:55 2024 +0200
@@ -46,7 +46,7 @@
|> Sign.add_nonterminals_global
[Binding.make ("param", \<^here>),
Binding.make ("params", \<^here>)]
- |> Sign.syntax true Syntax.mode_default
+ |> Sign.syntax_global true Syntax.mode_default
[("_Lam", [paramsT, proofT] ---> proofT, mixfix ("(1\<^bold>\<lambda>_./ _)", [0, 3], 3)),
("_Lam0", [paramT, paramsT] ---> paramsT, mixfix ("_/ _", [1, 0], 0)),
("_Lam0", [idtT, paramsT] ---> paramsT, mixfix ("_/ _", [1, 0], 0)),