src/HOLCF/IOA/NTP/Impl.ML

   by (Asm_full_simp_tac 1);
 
   (* 7 *)
   by (tac3 1);
   by (tac_ren 1);
-  by (Blast_tac 1);
+  by (Force_tac 1);	
 
   (* 6 - 3 *)
 
   by (EVERY1[tac3,tac3,tac3,tac3]);