
diff -r 843dba3d307a -r c007e6d9941d src/FOL/IFOL.thy
--- a/src/FOL/IFOL.thy	Mon Sep 30 23:32:26 2024 +0200
+++ b/src/FOL/IFOL.thy	Tue Oct 01 20:39:16 2024 +0200
@@ -747,8 +747,6 @@
   ""            :: \<open>letbind => letbinds\<close>              (\<open>_\<close>)
   "_binds"      :: \<open>[letbind, letbinds] => letbinds\<close>  (\<open>_;/ _\<close>)
   "_Let"        :: \<open>[letbinds, 'a] => 'a\<close>  (\<open>(\<open>notation=\<open>mixfix let in\<close>\<close>let (_)/ in (_))\<close> 10)
-syntax_consts
-  Let
 translations
   "_Let(_binds(b, bs), e)"  == "_Let(b, _Let(bs, e))"
   "let x = a in e"          == "CONST Let(a, \<lambda>x. e)"




