src/HOL/Cardinals/Wellorder_Relation.thy
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2015-12-28 wenzelm 2015-12-28 prefer symbols for "Union", "Inter";
2015-06-26 wenzelm 2015-06-26 tuned whitespace;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-01-30 traytel 2014-01-30 define ofilter outside of wo_rel
2014-01-22 blanchet 2014-01-22 whitespace tuning
2014-01-20 blanchet 2014-01-20 renamed '_FP' files to 'BNF_' files
2014-01-16 blanchet 2014-01-16 get rid of 'rel' locale, to facilitate inclusion of 'Order_Relation_More_FP' into 'Order_Relation'
2013-11-18 blanchet 2013-11-18 compile
2013-11-18 blanchet 2013-11-18 moved theorems out of LFP
2013-11-18 blanchet 2013-11-18 started three-way split of 'HOL-Cardinals'
2013-04-24 traytel 2013-04-24 optimized proofs
2012-09-12 blanchet 2012-09-12 renamed "Ordinals_and_Cardinals" to "Cardinals"