src/HOL/BNF_Wellorder_Embedding.thy
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-07-18 wenzelm 2015-07-18 isabelle update_cartouches;
2015-06-26 wenzelm 2015-06-26 tuned whitespace;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-03-06 traytel 2014-03-06 rationalized imports
2014-02-28 traytel 2014-02-28 load Metis a little later
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