src/HOL/Tools/BNF/bnf_lfp_basic_sugar.ML
Thu, 18 Sep 2014 16:47:40 +0200 blanchet moved old 'size' generator together with 'old_datatype'
Tue, 16 Sep 2014 19:23:37 +0200 blanchet tuned fact visibility
Tue, 16 Sep 2014 19:23:37 +0200 blanchet register 'prod' and 'sum' as datatypes, to allow N2M through them
less more (0) tip