| Mon, 23 Sep 2013 14:53:43 +0200 | blanchet | document "spy" option | changeset | files |
| Mon, 23 Sep 2013 14:53:43 +0200 | blanchet | added "spy" option to Sledgehammer | changeset | files |
| Mon, 23 Sep 2013 13:34:15 +0200 | wenzelm | proper text for document preparation; | changeset | files |
| Mon, 23 Sep 2013 12:40:34 +0200 | blanchet | set [code] on case equations | changeset | files |
| 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 |