src/HOL/BNF_Cardinal_Order_Relation.thy
2014-03-18 traytel 2014-03-18 tuned proofs; removed duplicated facts
2014-03-13 haftmann 2014-03-13 tuned proofs
2014-03-13 haftmann 2014-03-13 tuned
2014-03-07 traytel 2014-03-07 made natLe{q,ss} constants (yields smaller terms in composition)
2014-03-06 traytel 2014-03-06 rationalized imports
2014-02-28 traytel 2014-02-28 load Metis a little later
2014-02-20 traytel 2014-02-20 less flex-flex pairs (thanks to Lars' statistics)
2014-01-31 blanchet 2014-01-31 tuning
2014-01-22 blanchet 2014-01-22 whitespace tuning
2014-01-20 blanchet 2014-01-20 renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test)
2014-01-20 blanchet 2014-01-20 tuned comments
2014-01-20 blanchet 2014-01-20 renamed '_FP' files to 'BNF_' files