src/HOL/BNF_Greatest_Fixpoint.thy
22 months ago wenzelm 2017-07-03 added command 'alias' and 'type_alias';
2016-10-26 blanchet 2016-10-26 tuning
2016-04-07 traytel 2016-04-07 derive (co)rec uniformly from (un)fold
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-08-27 haftmann 2015-08-27 standardized some occurences of ancient "split" alias
2015-07-18 wenzelm 2015-07-18 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-09-16 blanchet 2014-09-16 register 'prod' and 'sum' as datatypes, to allow N2M through them
2014-09-01 blanchet 2014-09-01 renamed BNF theories