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/Tools/Sledgehammer/sledgehammer_util.ML
changeset 77866 3bd1aa2f3517
parent 77825 61f652dd955a
child 78708 72d2693fb0ec 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_util.ML	Tue Apr 18 11:45:04 2023 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_util.ML	Tue Apr 18 11:58:12 2023 +0200
@@ -104,7 +104,7 @@
             else (num_thms + 1, name' :: names)
           | NONE => accum)
       end
-    and app_body map_name (PBody {thms, ...}) = PThms.fold (app_thm map_name) thms
+    and app_body map_name (PBody {thms, ...}) = fold (app_thm map_name) thms
   in
     snd (app_body map_plain_name body (0, []))
   end
isabelle