Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Sum_Of_Squares/sum_of_squares.ML
changeset 36692 54b64d4ad524
parent 36350 bc7982c54e37
child 36717 2a72455be88b 
--- a/src/HOL/Library/Sum_Of_Squares/sum_of_squares.ML	Wed May 05 09:24:42 2010 +0200
+++ b/src/HOL/Library/Sum_Of_Squares/sum_of_squares.ML	Wed May 05 18:25:34 2010 +0200
@@ -528,8 +528,8 @@
    end
  end;
 
-fun isspace x = x = " " ;
-fun isnum x = x mem_string ["0","1","2","3","4","5","6","7","8","9"]
+fun isspace x = (x = " ");
+fun isnum x = member (op =) ["0","1","2","3","4","5","6","7","8","9"] x;
 
 (* More parser basics.                                                       *)
isabelle