--- a/src/HOL/Relation_Power.thy Fri Feb 15 16:09:10 2008 +0100
+++ b/src/HOL/Relation_Power.thy Fri Feb 15 16:09:12 2008 +0100
@@ -7,7 +7,7 @@
header{*Powers of Relations and Functions*}
theory Relation_Power
-imports Power
+imports Power Transitive_Closure
begin
instance