src/Pure/Isar/outer_parse.ML
changeset 17165 9b498019723f
parent 17070 3b29a01417f8
child 17358 5746c9bd4356
     1.1 --- a/src/Pure/Isar/outer_parse.ML	Sun Aug 28 16:04:48 2005 +0200
     1.2 +++ b/src/Pure/Isar/outer_parse.ML	Sun Aug 28 16:04:49 2005 +0200
     1.3 @@ -144,6 +144,7 @@
     1.4  val type_var = kind T.TypeVar;
     1.5  val number = kind T.Nat;
     1.6  val string = kind T.String;
     1.7 +val alt_string = kind T.AltString;
     1.8  val verbatim = kind T.Verbatim;
     1.9  val sync = kind T.Sync;
    1.10  val eof = kind T.EOF;