src/FOL/IFOL.thy

--- a/src/FOL/IFOL.thy	Sun Sep 22 16:04:44 2024 +0200
+++ b/src/FOL/IFOL.thy	Sun Sep 22 16:12:15 2024 +0200
@@ -32,7 +32,7 @@
 typedecl o
 
 judgment
-  Trueprop :: \<open>o \<Rightarrow> prop\<close>  (\<open>(_)\<close> 5)
+  Trueprop :: \<open>o \<Rightarrow> prop\<close>  (\<open>(\<open>notation=judgment\<close>_)\<close> 5)
 
 
 subsubsection \<open>Equality\<close>