| changeset 37589 | 9c33d02656bc |
| parent 36176 | 3fe7e97ccca8 |
| child 43973 | a907e541b127 |
--- a/src/HOL/Library/Transitive_Closure_Table.thy Mon Jun 28 13:36:21 2010 +0200 +++ b/src/HOL/Library/Transitive_Closure_Table.thy Mon Jun 28 15:03:06 2010 +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 fastsimp subsection {* A simple example *}