src/Pure/Isar/outer_parse.ML
changeset 15963 5b70f789e079
parent 15714 9b8da47715c3
child 15979 c81578ac2d31
     1.1 --- a/src/Pure/Isar/outer_parse.ML	Mon May 16 08:28:16 2005 +0200
     1.2 +++ b/src/Pure/Isar/outer_parse.ML	Mon May 16 09:34:20 2005 +0200
     1.3 @@ -21,6 +21,7 @@
     1.4    val short_ident: token list -> string * token list
     1.5    val long_ident: token list -> string * token list
     1.6    val sym_ident: token list -> string * token list
     1.7 +  val minus: token list -> string * token list
     1.8    val term_var: token list -> string * token list
     1.9    val type_ident: token list -> string * token list
    1.10    val type_var: token list -> string * token list