
diff -r 340df9f3491f -r 22f665a2e91c src/HOL/Library/Transitive_Closure_Table.thy
--- a/src/HOL/Library/Transitive_Closure_Table.thy	Sun Sep 11 22:56:05 2011 +0200
+++ b/src/HOL/Library/Transitive_Closure_Table.thy	Mon Sep 12 07:55:43 2011 +0200
@@ -189,7 +189,7 @@
 
 declare rtranclp_eq_rtrancl_tab_nil[THEN iffD2, code_pred_intro]
 
-code_pred rtranclp using rtranclp_eq_rtrancl_tab_nil [THEN iffD1] by fastsimp
+code_pred rtranclp using rtranclp_eq_rtrancl_tab_nil [THEN iffD1] by fastforce
 
 subsection {* A simple example *}
 




