src/HOL/Library/Preorder.thy
Thu, 07 May 2009 16:22:34 +0200 haftmann better to have distinguished class for preorders
Thu, 07 May 2009 12:17:17 +0200 haftmann added theory for explicit equivalence relation in preorders
less more (0) tip