| Tue, 11 Sep 2012 15:47:42 +0200 | wenzelm | some support to organize options in sections; | changeset | files |
| Tue, 11 Sep 2012 11:53:34 +0200 | wenzelm | merged | changeset | files |
| Tue, 11 Sep 2012 09:40:05 +0200 | blanchet | generate "id" rather than (%v. v) | changeset | files |
| Tue, 11 Sep 2012 09:40:05 +0200 | blanchet | correctly generate sel_coiter and sel_corec theorems | changeset | files |
| Mon, 10 Sep 2012 21:44:43 +0200 | blanchet | generate "sel_coiters" and friends | changeset | files |
| Mon, 10 Sep 2012 18:50:27 +0200 | blanchet | sanity check | changeset | files |
| Mon, 10 Sep 2012 18:29:55 +0200 | blanchet | implemented and use "mk_sum_casesN_balanced" | changeset | files |
| Mon, 10 Sep 2012 17:52:01 +0200 | blanchet | fixed general case of "mk_sumEN_balanced" | changeset | files |
| Mon, 10 Sep 2012 17:36:02 +0200 | blanchet | debug | changeset | files |
| Mon, 10 Sep 2012 17:36:02 +0200 | blanchet | fixed base case of "mk_sumEN_balanced" | changeset | files |
| Mon, 10 Sep 2012 17:36:02 +0200 | blanchet | prevent inconsistent selector types | changeset | files |
| Mon, 10 Sep 2012 17:36:02 +0200 | blanchet | minor optimization | changeset | files |
| Mon, 10 Sep 2012 17:36:02 +0200 | blanchet | allow same selector name for several constructors | changeset | files |
| Mon, 10 Sep 2012 17:36:02 +0200 | blanchet | removed done TODO | changeset | files |