src/HOL/Wfrec.thy
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-01-31 wenzelm 2014-01-31 tuned headers;
2014-01-16 blanchet 2014-01-16 adapted to move of Wfrec
2014-01-16 blanchet 2014-01-16 moved Wfrec to Main, since it is a dependency of cardinals, hence BNFs