added alt_string;
authorwenzelm
Sun Aug 28 16:04:49 2005 +0200 (2005-08-28)
changeset 171659b498019723f
parent 17164 a786e1a1ce02
child 17166 dc3b8cec8bba
added alt_string;
src/Pure/Isar/outer_parse.ML
     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;