Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 11 Jul 2006 12:22:58 +0200
changeset 20091 edc96f85e069
parent 20090 5cf221f2a55d
child 20092 16e5b2723335
tuned;
src/Pure/Syntax/lexicon.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/lexicon.ML	Tue Jul 11 12:17:30 2006 +0200
+++ b/src/Pure/Syntax/lexicon.ML	Tue Jul 11 12:22:58 2006 +0200
@@ -104,8 +104,8 @@
 val scan_nat = scan_digits1 >> implode;
 val scan_int = $$ "-" ^^ scan_nat || scan_nat;
 
-val scan_hex = ($$ "0") ^^ ($$ "x") ^^ (scan_hex1 >> implode);
-val scan_bin = ($$ "0") ^^ ($$ "b") ^^ (scan_bin1 >> implode);
+val scan_hex = $$ "0" ^^ $$ "x" ^^ (scan_hex1 >> implode);
+val scan_bin = $$ "0" ^^ $$ "b" ^^ (scan_bin1 >> implode);
 
 val scan_id_nat = scan_id ^^ Scan.optional ($$ "." ^^ scan_nat) "";
 val scan_var = $$ "?" ^^ scan_id_nat;
isabelle