blanchet [Tue, 11 Sep 2012 09:40:05 +0200] rev 50283
generate "id" rather than (%v. v)
blanchet [Tue, 11 Sep 2012 09:40:05 +0200] rev 50282
correctly generate sel_coiter and sel_corec theorems
blanchet [Mon, 10 Sep 2012 21:44:43 +0200] rev 50281
generate "sel_coiters" and friends
blanchet [Mon, 10 Sep 2012 18:50:27 +0200] rev 50280
sanity check
blanchet [Mon, 10 Sep 2012 18:29:55 +0200] rev 50279
implemented and use "mk_sum_casesN_balanced"
blanchet [Mon, 10 Sep 2012 17:52:01 +0200] rev 50278
fixed general case of "mk_sumEN_balanced"
blanchet [Mon, 10 Sep 2012 17:36:02 +0200] rev 50277
debug
blanchet [Mon, 10 Sep 2012 17:36:02 +0200] rev 50276
fixed base case of "mk_sumEN_balanced"
blanchet [Mon, 10 Sep 2012 17:36:02 +0200] rev 50275
prevent inconsistent selector types
blanchet [Mon, 10 Sep 2012 17:36:02 +0200] rev 50274
minor optimization