src/HOL/BNF/Tools/bnf_fp_n2m_sugar.ML
2013-11-04 blanchet 2013-11-04 tuning
2013-11-04 blanchet 2013-11-04 make code more robust w.r.t. applied/unapplied map (primrec vs. primcorec)
2013-10-21 blanchet 2013-10-21 tuning
2013-10-02 blanchet 2013-10-02 don't register equations of the form 'f x = ...' as simp rules, even if they are safe (noncorecursive), because they unfold too aggresively concepts users are likely to want to stay folded
2013-10-01 blanchet 2013-10-01 got rid of dead feature
2013-10-01 blanchet 2013-10-01 renamed theory file
2013-09-28 wenzelm 2013-09-28 make SML/NJ more happy;
2013-09-24 blanchet 2013-09-24 register codatatypes with Nitpick
2013-09-20 blanchet 2013-09-20 have "datatype_new_compat" register induction and recursion theorems in nested case
2013-09-17 blanchet 2013-09-17 return right theorems
2013-09-13 blanchet 2013-09-13 don't wrongly destroy sum types in coiterators
2013-09-09 blanchet 2013-09-09 include map theorems in datastructure for "primcorec"
2013-09-09 blanchet 2013-09-09 enriched data structure with necessary theorems
2013-08-30 blanchet 2013-08-30 moved files related to "primrec_new", "primcorec", and "datatype_compat" from bitbucket co-rec repository