src/Pure/Isar/outer_parse.ML

   val type_ident: token list -> string * token list
   val type_var: token list -> string * token list
   val number: token list -> string * token list
   val string: token list -> string * token list
   val verbatim: token list -> string * token list
+  val sync: token list -> string * token list
   val eof: token list -> string * token list
   val not_eof: token list -> token * token list
   val nat: token list -> int * token list
   val enum: string -> (token list -> 'a * token list) -> token list -> 'a list * token list
   val enum1: string -> (token list -> 'a * token list) -> token list -> 'a list * token list

 val type_ident = kind OuterLex.TypeIdent;
 val type_var = kind OuterLex.TypeVar;
 val number = kind OuterLex.Nat;
 val string = kind OuterLex.String;
 val verbatim = kind OuterLex.Verbatim;
+val sync = kind OuterLex.Sync;
 val eof = kind OuterLex.EOF;
 
 fun $$$ x =
   group (OuterLex.str_of_kind OuterLex.Keyword ^ " " ^ quote x)
     (Scan.one (OuterLex.is_kind OuterLex.Keyword andf (equal x o OuterLex.val_of))