| changeset 51112 | da97167e03f7 |
| parent 46752 | e9e7209eb375 |
| child 54744 | 1e7f2d296e19 |
--- a/src/HOL/Equiv_Relations.thy Thu Feb 14 13:16:47 2013 +0100 +++ b/src/HOL/Equiv_Relations.thy Thu Feb 14 12:24:42 2013 +0100 @@ -5,7 +5,7 @@ header {* Equivalence Relations in Higher-Order Set Theory *} theory Equiv_Relations -imports Big_Operators Relation Plain +imports Big_Operators Relation begin subsection {* Equivalence relations -- set version *}