src/HOL/BNF_Cardinal_Order_Relation.thy
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