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.
fixed spelling;
authorwenzelm
Thu, 09 Oct 2008 21:06:08 +0200
changeset 28556 85d2972fe9e6
parent 28555 d59712ee942c
child 28557 6a661aeff564
fixed spelling;
src/Pure/Concurrent/par_list_dummy.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Concurrent/par_list_dummy.ML	Thu Oct 09 20:53:24 2008 +0200
+++ b/src/Pure/Concurrent/par_list_dummy.ML	Thu Oct 09 21:06:08 2008 +0200
@@ -10,7 +10,7 @@
 
 val map = map;
 val get_some = get_first;
-val fins_some = find_first;
+val find_some = find_first;
 val exists = exists;
 val forall = forall;
isabelle