
diff -r a6cd1a454751 -r 4b3d280ef06a src/HOL/UNITY/Simple/Reach.thy
--- a/src/HOL/UNITY/Simple/Reach.thy	Thu Jul 22 19:33:12 2004 +0200
+++ b/src/HOL/UNITY/Simple/Reach.thy	Mon Jul 26 15:48:50 2004 +0200
@@ -75,7 +75,7 @@
 apply (unfold fixedpoint_def)
 apply (rule equalityI)
 apply (auto intro!: ext)
- prefer 2 apply (blast intro: rtrancl_trans)
+(* CBtrancl: prefer 2 apply (blast intro: rtrancl_trans) *)
 apply (erule rtrancl_induct, auto)
 done
 




