src/HOL/BNF_Wellorder_Constructions.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-01 blanchet 2014-09-01 renamed '(BNF_)Constructions_on_Wellorders' to '(BNF_)Wellorder_Constructions'