Mon, 23 Sep 2013 10:58:37 +0200 | blanchet | note coinduct theorems in "primcorec" | changeset | files |
Mon, 23 Sep 2013 10:46:40 +0200 | blanchet | tuning | changeset | files |
Mon, 23 Sep 2013 10:45:26 +0200 | blanchet | generate "simps" from "primcorec" | changeset | files |