--- a/src/HOL/Hoare_Parallel/RG_Examples.thy Sun Sep 11 22:56:05 2011 +0200
+++ b/src/HOL/Hoare_Parallel/RG_Examples.thy Mon Sep 12 07:55:43 2011 +0200
@@ -286,7 +286,7 @@
apply force
apply(rule Basic)
apply force
- apply fastsimp
+ apply fastforce
apply force
apply force
apply(rule Basic)