src/HOL/Cardinals/README.txt
2014-09-01 blanchet 2014-09-01 renamed '(BNF_)Constructions_on_Wellorders' to '(BNF_)Wellorder_Constructions'
2014-01-20 blanchet 2014-01-20 tuned comment
2014-01-20 blanchet 2014-01-20 renamed '_FP' files to 'BNF_' files
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'
2014-01-16 blanchet 2014-01-16 dissolved 'Fun_More_FP' (a BNF dependency)
2013-11-18 blanchet 2013-11-18 compile
2013-11-18 blanchet 2013-11-18 started three-way split of 'HOL-Cardinals'
2012-09-12 blanchet 2012-09-12 renamed "Ordinals_and_Cardinals" to "Cardinals"