src/HOL/Cardinals/Wellorder_Embedding.thy
2014-01-20 blanchet 2014-01-20 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 started three-way split of 'HOL-Cardinals'
2012-09-12 blanchet 2012-09-12 renamed "Ordinals_and_Cardinals" to "Cardinals"