changeset 32850 | d95a7fd00bd4 |
parent 32463 | 3a0a65ca2261 |
child 32876 | c34b072518c9 |
--- 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 *}