src/HOL/Cardinals/Order_Relation_More.thy
2014-01-20 blanchet 2014-01-20 tuning
2014-01-20 blanchet 2014-01-20 compile
2014-01-17 blanchet 2014-01-17 folded 'Order_Relation_More_FP' into 'Order_Relation'
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-21 blanchet 2013-11-21 moving 'Order_Relation' to 'HOL' (since it's a BNF dependency)
2013-11-18 blanchet 2013-11-18 compile
2013-11-18 blanchet 2013-11-18 moved more 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"