# HG changeset patch
# User bulwahn
# Date 1317649170 -7200
# Node ID 055c6ff9c5c3502ff884ad0e300e4df356f4605a
# Parent  7462f287189a1cdf582888de3cc78ae088b3d395
tune text for document generation

diff -r 7462f287189a -r 055c6ff9c5c3 src/HOL/Enum.thy
--- a/src/HOL/Enum.thy	Mon Oct 03 14:43:15 2011 +0200
+++ b/src/HOL/Enum.thy	Mon Oct 03 15:39:30 2011 +0200
@@ -766,7 +766,7 @@
 
 subsection {* An executable (reflexive) transitive closure on finite relations *}
 
-text {* Definitions could be moved to Transitive_Closure if they are of more general use. *}
+text {* Definitions could be moved to Transitive Closure theory if they are of more general use. *}
 
 definition ntrancl :: "('a * 'a => bool) => nat => ('a * 'a => bool)"
 where