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