src/HOL/BNF_Constructions_on_Wellorders.thy
2014-03-18 traytel 2014-03-18 tuned proofs; removed duplicated facts
2014-03-13 haftmann 2014-03-13 tuned proofs
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-22 blanchet 2014-01-22 whitespace tuning
2014-01-20 blanchet 2014-01-20 tuned comments
2014-01-20 blanchet 2014-01-20 renamed '_FP' files to 'BNF_' files