author | haftmann |
Mon, 28 Jun 2010 15:03:06 +0200 | |
changeset 37589 | 9c33d02656bc |
parent 37588 | 030dfe572619 |
child 37590 | 180e80b4eac1 |
--- 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 *}