src/HOL/Transitive_Closure.thy

--- a/src/HOL/Transitive_Closure.thy	Thu Feb 23 21:16:54 2012 +0100
+++ b/src/HOL/Transitive_Closure.thy	Thu Feb 23 21:25:59 2012 +0100
@@ -6,7 +6,7 @@
 header {* Reflexive and Transitive closure of a relation *}
 
 theory Transitive_Closure
-imports Predicate
+imports Relation
 uses "~~/src/Provers/trancl.ML"
 begin