src/HOL/Basic_BNF_LFPs.thy
2016-04-14 traytel 2016-04-14 n2m operates on (un)folds
2016-04-05 traytel 2016-04-05 single uniqueness theorems for map, (un)fold, (co)rec for mutual (co)datatypes
2016-02-17 blanchet 2016-02-17 making 'pred_inject' a first-class BNF citizen
2016-02-15 blanchet 2016-02-15 keep 'ctor_iff_dtor' theorem around in BNF FP database
2015-09-13 wenzelm 2015-09-13 tuned proofs -- less legacy;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-03-26 blanchet 2015-03-26 store low-level (un)fold constants
2014-12-15 blanchet 2014-12-15 renamed theory file