Fri, 19 Mar 2010 18:56:13 +0100 Cezary Kaliszyk Described automatically created funs.
Fri, 19 Mar 2010 18:43:29 +0100 Cezary Kaliszyk merge
Fri, 19 Mar 2010 18:42:57 +0100 Cezary Kaliszyk Automatically derive support for datatypes with at-most one binding per constructor.
Fri, 19 Mar 2010 17:20:25 +0100 Christian Urban picture
Fri, 19 Mar 2010 15:43:59 +0100 Christian Urban merged
Fri, 19 Mar 2010 15:43:43 +0100 Christian Urban polished
Fri, 19 Mar 2010 15:01:01 +0100 Cezary Kaliszyk Update Test to use fset.
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip