diff -r 21238c9d363e -r a129b817b58a src/HOLCF/IOA/meta_theory/CompoScheds.ML
--- a/src/HOLCF/IOA/meta_theory/CompoScheds.ML	Tue Dec 16 15:17:26 1997 +0100
+++ b/src/HOLCF/IOA/meta_theory/CompoScheds.ML	Tue Dec 16 17:58:03 1997 +0100
@@ -517,7 +517,7 @@
 "Scheds (A||B) = par_scheds (Scheds A) (Scheds B)";
 
 by (asm_full_simp_tac (simpset() addsimps [asig_of_par]) 1);
-br set_ext 1;
+by (rtac set_ext 1);
 by (asm_full_simp_tac (simpset() addsimps [compositionality_sch,actions_of_par]) 1);
 qed"compositionality_sch_modules";