src/HOL/Zorn.thy
2016-07-31 wenzelm 2016-07-31 misc tuning and modernization;
2016-05-27 wenzelm 2016-05-27 tuned proofs;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-07-18 wenzelm 2015-07-18 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-04 hoelzl 2014-09-04 cleanup Wfrec; introduce dependent_wf/wellorder_choice
2014-02-28 traytel 2014-02-28 load Metis a little later
2014-01-16 blanchet 2014-01-16 moved 'Zorn' into 'Main', since it's a BNF dependency