
diff -r 06561afcadaa -r d95a7fd00bd4 src/HOL/Relation.thy
--- a/src/HOL/Relation.thy	Thu Oct 01 09:09:56 2009 +0200
+++ b/src/HOL/Relation.thy	Thu Oct 01 17:11:48 2009 +0200
@@ -6,8 +6,7 @@
 header {* Relations *}
 
 theory Relation
-imports Finite_Set Datatype
-  (*FIXME order is important, otherwise merge problem for canonical interpretation of class monoid_mult wrt. power!*)
+imports Datatype Finite_Set
 begin
 
 subsection {* Definitions *}




