src/Pure/Syntax/token_trans.ML
changeset 11697 8dd899efbd35
parent 6695 d3ba5427d562
child 11795 12a0fb3ac366
     1.1 --- a/src/Pure/Syntax/token_trans.ML	Fri Oct 05 21:42:10 2001 +0200
     1.2 +++ b/src/Pure/Syntax/token_trans.ML	Fri Oct 05 21:48:04 2001 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4  fun tokentrans_mode m trs = map (fn (s, f) => (m, s, f)) trs;
     1.5  
     1.6  val standard_token_classes =
     1.7 -  ["class", "tfree", "tvar", "free", "bound", "var", "xnum", "xstr"];
     1.8 +  ["class", "tfree", "tvar", "free", "bound", "var", "num", "xnum", "xstr"];
     1.9  
    1.10  
    1.11