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/Provers/clasimp.ML
changeset 42373 fb539d6d1ac2
parent 37720 50a9e2fa4f6b
child 42478 8a526c010c3b 
--- a/src/Provers/clasimp.ML	Sat Apr 16 23:41:25 2011 +0200
+++ b/src/Provers/clasimp.ML	Sat Apr 16 23:41:58 2011 +0200
@@ -201,7 +201,7 @@
           blast_depth_tac cs m               (* fast but can't use wrappers *)
           ORELSE'
           (CHANGED o nodup_depth_tac cs' n); (* slower but more general *)
-    in  EVERY [ALLGOALS (Simplifier.asm_full_simp_tac ss),
+    in  EVERY [PARALLEL_GOALS (ALLGOALS (Simplifier.asm_full_simp_tac ss)),
                TRY (Classical.safe_tac cs),
                REPEAT_DETERM (FIRSTGOAL maintac),
                TRY (Classical.safe_tac (cs addSss ss)),
isabelle