src/HOL/Tools/BNF/bnf_lfp_size.ML
2014-04-23 blanchet 2014-04-23 generate size instances for new-style datatypes