src/HOL/BNF_Cardinal_Arithmetic.thy
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2015-07-18 wenzelm 2015-07-18 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-03-18 traytel 2014-03-18 tuned proofs; removed duplicated facts
2014-03-03 blanchet 2014-03-03 life without 'metis'
2014-03-03 blanchet 2014-03-03 optimize cardinal bounds involving natLeq (omega)
2014-02-28 traytel 2014-02-28 load Metis a little later
2014-02-20 noschinl 2014-02-20 less flex-flex pairs
2014-01-20 blanchet 2014-01-20 tuned comments
2014-01-20 blanchet 2014-01-20 renamed '_FP' files to 'BNF_' files