--- a/src/HOL/Typerep.thy Sun Aug 25 12:43:43 2024 +0200
+++ b/src/HOL/Typerep.thy Sun Aug 25 15:02:19 2024 +0200
@@ -19,6 +19,8 @@
syntax
"_TYPEREP" :: "type => logic" ("(1TYPEREP/(1'(_')))")
+syntax_consts
+ "_TYPEREP" \<rightleftharpoons> typerep
parse_translation \<open>
let