added alt_string;

--- 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;