1.1 --- a/src/Pure/Isar/args.ML	Mon Aug 13 18:10:20 2007 +0200
     1.2 +++ b/src/Pure/Isar/args.ML	Mon Aug 13 18:10:22 2007 +0200
     1.3 @@ -280,9 +280,9 @@
     1.4  val symbol = symbolic >> sym_of;
     1.5  val liberal_name = symbol || name;
     1.6  
     1.7 -val nat = some_ident Syntax.read_nat;
     1.8 +val nat = some_ident Lexicon.read_nat;
     1.9  val int = Scan.optional ($$$ "-" >> K ~1) 1 -- nat >> op *;
    1.10 -val var = some_ident Syntax.read_variable;
    1.11 +val var = some_ident Lexicon.read_variable;
    1.12  
    1.13  
    1.14  (* enumerations *)