--- a/src/HOL/Hoare_Parallel/OG_Examples.thy Sat Jul 18 20:53:05 2015 +0200
+++ b/src/HOL/Hoare_Parallel/OG_Examples.thy Sat Jul 18 20:54:56 2015 +0200
@@ -434,7 +434,7 @@
--\<open>112 subgoals left\<close>
apply(simp_all (no_asm))
--\<open>43 subgoals left\<close>
-apply(tactic \<open>ALLGOALS (conjI_Tac (K all_tac))\<close>)
+apply(tactic \<open>ALLGOALS (conjI_Tac @{context} (K all_tac))\<close>)
--\<open>419 subgoals left\<close>
apply(tactic \<open>ALLGOALS (clarify_tac @{context})\<close>)
--\<open>99 subgoals left\<close>