src/HOL/Order_Relation.thy
2015-07-18 wenzelm 2015-07-18 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-04 hoelzl 2014-09-04 cleanup Wfrec; introduce dependent_wf/wellorder_choice
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