| changeset 5513 | 3896c7894a57 |
| parent 5286 | cfb74a99182c |
| child 5860 | ed11c9890852 |
--- a/src/Pure/Syntax/lexicon.ML Mon Sep 21 10:43:09 1998 +0200 +++ b/src/Pure/Syntax/lexicon.ML Mon Sep 21 10:43:54 1998 +0200 @@ -94,7 +94,7 @@ val scan_tid = $$ "'" ^^ scan_id; val scan_nat = scan_digits1 >> implode; -val scan_int = $$ "~" ^^ scan_nat || scan_nat; +val scan_int = $$ "-" ^^ scan_nat || scan_nat; val scan_id_nat = scan_id ^^ Scan.optional ($$ "." ^^ scan_nat) ""; val scan_var = $$ "?" ^^ scan_id_nat;