src/Pure/Isar/method.ML

--- a/src/Pure/Isar/method.ML	Wed Oct 20 16:36:49 2021 +0200
+++ b/src/Pure/Isar/method.ML	Wed Oct 20 16:45:10 2021 +0200
@@ -426,6 +426,11 @@
   | checked_text (Basic _) = true
   | checked_text (Combinator (_, _, body)) = forall checked_text body;
 
+val _ = Theory.setup
+ (ML_Antiquotation.inline_embedded \<^binding>\<open>method\<close>
+    (Args.context -- Scan.lift Args.embedded_position >>
+      (ML_Syntax.print_string o uncurry check_name)));
+
 
 (* method setup *)