tune text for document generation
authorbulwahn
Mon Oct 03 15:39:30 2011 +0200 (2011-10-03 ago)
changeset 45119055c6ff9c5c3
parent 45118 7462f287189a
child 45120 717bc892e4d7
tune text for document generation
src/HOL/Enum.thy
     1.1 --- a/src/HOL/Enum.thy	Mon Oct 03 14:43:15 2011 +0200
     1.2 +++ b/src/HOL/Enum.thy	Mon Oct 03 15:39:30 2011 +0200
     1.3 @@ -766,7 +766,7 @@
     1.4  
     1.5  subsection {* An executable (reflexive) transitive closure on finite relations *}
     1.6  
     1.7 -text {* Definitions could be moved to Transitive_Closure if they are of more general use. *}
     1.8 +text {* Definitions could be moved to Transitive Closure theory if they are of more general use. *}
     1.9  
    1.10  definition ntrancl :: "('a * 'a => bool) => nat => ('a * 'a => bool)"
    1.11  where