src/HOL/Order_Relation.thy
2014-01-30 traytel 2014-01-30 define ofilter outside of wo_rel
2014-01-17 blanchet 2014-01-17 folded 'Wellfounded_More_FP' into 'Wellfounded'
2014-01-17 blanchet 2014-01-17 folded 'Order_Relation_More_FP' into 'Order_Relation'
2013-11-21 blanchet 2013-11-21 moving 'Order_Relation' to 'HOL' (since it's a BNF dependency)
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s