# HG changeset patch
# User haftmann
# Date 1277730186 -7200
# Node ID 9c33d02656bc3641b0fae40fc106839933d753c3
# Parent  030dfe572619210d05bdd56b8694c9dbce742a4f
tuned whitespace

diff -r 030dfe572619 -r 9c33d02656bc src/HOL/Library/Transitive_Closure_Table.thy
--- 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 *}