src/HOL/BNF/Tools/bnf_gfp_rec_sugar.ML
2013-11-05 blanchet 2013-11-05 avoid subtle failure in the presence of top sort
2013-11-05 blanchet 2013-11-05 tuning
2013-11-04 blanchet 2013-11-04 split 'primrec_new' and 'primcorec' code (to ease bootstrapping, e.g. dependency on datatype 'String' in 'primcorec')