src/HOL/Library/Preorder.thy
2009-05-07 haftmann 2009-05-07 added theory for explicit equivalence relation in preorders