src/Pure/Isar/outer_syntax.ML
changeset 14687 e089757b952a
parent 14091 ad6ba9c55190
child 14925 0f86a8a694f8
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Thu Apr 29 06:03:41 2004 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Thu Apr 29 06:04:01 2004 +0200
     1.3 @@ -51,6 +51,7 @@
     1.4      (token list -> (Toplevel.transition -> Toplevel.transition) * token list) -> parser
     1.5    val improper_command: string -> string -> string ->
     1.6      (token list -> (Toplevel.transition -> Toplevel.transition) * token list) -> parser
     1.7 +  val is_keyword: string -> bool
     1.8    val dest_keywords: unit -> string list
     1.9    val dest_parsers: unit -> (string * string * string * bool) list
    1.10    val print_outer_syntax: unit -> unit
    1.11 @@ -204,6 +205,7 @@
    1.12  
    1.13  (* print syntax *)
    1.14  
    1.15 +fun is_keyword s = Scan.is_literal (#1 (get_lexicons ())) (Symbol.explode s);
    1.16  fun dest_keywords () = Scan.dest_lexicon (#1 (get_lexicons ()));
    1.17  
    1.18  fun dest_parsers () =