Tue, 24 Sep 2013 00:18:22 +0200 | blanchet | set code and nitpick_simp attributes on primcorec theorems | changeset | files |
Tue, 24 Sep 2013 00:10:59 +0200 | blanchet | tuning | changeset | files |
Tue, 24 Sep 2013 00:10:46 +0200 | blanchet | tuned docs | changeset | files |
Tue, 24 Sep 2013 00:01:10 +0200 | blanchet | register codatatypes with Nitpick | changeset | files |
Mon, 23 Sep 2013 23:27:46 +0200 | blanchet | register codatatypes with Nitpick | changeset | files |
Mon, 23 Sep 2013 18:40:02 +0200 | blanchet | don't generalize w.r.t. wrong context -- better overgeneralize (since the instantiation phase will compensate for it) | changeset | files |