src/HOL/Relation.thy
changeset 32850 d95a7fd00bd4
parent 32463 3a0a65ca2261
child 32876 c34b072518c9
     1.1 --- a/src/HOL/Relation.thy	Thu Oct 01 09:09:56 2009 +0200
     1.2 +++ b/src/HOL/Relation.thy	Thu Oct 01 17:11:48 2009 +0200
     1.3 @@ -6,8 +6,7 @@
     1.4  header {* Relations *}
     1.5  
     1.6  theory Relation
     1.7 -imports Finite_Set Datatype
     1.8 -  (*FIXME order is important, otherwise merge problem for canonical interpretation of class monoid_mult wrt. power!*)
     1.9 +imports Datatype Finite_Set
    1.10  begin
    1.11  
    1.12  subsection {* Definitions *}