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/FOL/simpdata.ML
changeset 32952 aeb1e44fbc19
parent 32177 bc02c5bfcb5b
child 32957 675c0c7e6a37 
--- a/src/FOL/simpdata.ML	Thu Oct 15 23:10:35 2009 +0200
+++ b/src/FOL/simpdata.ML	Thu Oct 15 23:28:10 2009 +0200
@@ -46,7 +46,7 @@
              (case head_of p of
                 Const(a,_) =>
                   (case AList.lookup (op =) pairs a of
-                     SOME(rls) => List.concat (map atoms ([th] RL rls))
+                     SOME(rls) => maps atoms ([th] RL rls)
                    | NONE => [th])
               | _ => [th])
          | _ => [th])
isabelle