src/HOL/Relation_Power.thy
changeset 26072 f65a7fa2da6c
parent 25861 494d9301cc75
child 26799 5bd38256ce5b
     1.1 --- a/src/HOL/Relation_Power.thy	Fri Feb 15 16:09:10 2008 +0100
     1.2 +++ b/src/HOL/Relation_Power.thy	Fri Feb 15 16:09:12 2008 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  header{*Powers of Relations and Functions*}
     1.5  
     1.6  theory Relation_Power
     1.7 -imports Power
     1.8 +imports Power Transitive_Closure
     1.9  begin
    1.10  
    1.11  instance