src/Pure/Isar/parse.ML

--- a/src/Pure/Isar/parse.ML	Wed Oct 20 20:04:28 2021 +0200
+++ b/src/Pure/Isar/parse.ML	Wed Oct 20 20:25:33 2021 +0200
@@ -67,6 +67,7 @@
   val name_position: (string * Position.T) parser
   val binding: binding parser
   val embedded: string parser
+  val embedded_inner_syntax: string parser
   val embedded_input: Input.source parser
   val embedded_position: (string * Position.T) parser
   val text: string parser
@@ -281,6 +282,7 @@
     (cartouche || string || short_ident || long_ident || sym_ident ||
       term_var || type_ident || type_var || number);
 
+val embedded_inner_syntax = inner_syntax embedded;
 val embedded_input = input embedded;
 val embedded_position = embedded_input >> Input.source_content;