src/HOL/Cardinals/Wellorder_Extension.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-02-28 traytel 2014-02-28 load Metis a little later
2014-01-16 blanchet 2014-01-16 get rid of 'rel' locale, to facilitate inclusion of 'Order_Relation_More_FP' into 'Order_Relation'
2014-01-16 blanchet 2014-01-16 moved 'Zorn' into 'Main', since it's a BNF dependency
2013-11-20 blanchet 2013-11-20 effectively reverted d25fc4c0ff62, to avoid quasi-cyclic dependencies with HOL-Cardinals and minimize BNF dependencies