src/HOL/BNF_Fixpoint_Base.thy
Fri, 07 Nov 2014 11:28:37 +0100 traytel more complete fp_sugars for sum and prod;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Tue, 21 Oct 2014 17:23:12 +0200 desharna generate 'map_o_corec' for (co)datatypes
Tue, 21 Oct 2014 17:23:11 +0200 desharna move theorem 'rec_o_map'
Thu, 25 Sep 2014 16:35:56 +0200 desharna generate 'corec_transfer' for codatatypes
Thu, 25 Sep 2014 16:35:53 +0200 desharna generate 'rec_transfer' for datatypes
Tue, 16 Sep 2014 19:23:37 +0200 blanchet register 'prod' and 'sum' as datatypes, to allow N2M through them
Thu, 04 Sep 2014 09:02:43 +0200 blanchet tuned size function generation
Wed, 03 Sep 2014 00:31:37 +0200 blanchet tuning
Mon, 01 Sep 2014 16:34:40 +0200 blanchet renamed BNF theories
less more (0) tip