| Mon, 28 Oct 2013 10:29:43 +0100 | nipkow | more exercises | changeset | files |
| Sun, 27 Oct 2013 19:02:26 +0100 | blanchet | commented out vaporware | changeset | files |
| Sat, 26 Oct 2013 23:06:40 +0200 | nipkow | more exercises | changeset | files |
| Sat, 26 Oct 2013 13:01:41 +0200 | blanchet | tuning | changeset | files |
| Sat, 26 Oct 2013 13:00:55 +0200 | blanchet | tuning | changeset | files |
| Sat, 26 Oct 2013 12:57:17 +0200 | blanchet | tuned names (to make them independent from temporary naming convention used in characteristic theorems) | changeset | files |
| Sat, 26 Oct 2013 12:54:57 +0200 | blanchet | align 'primrec_new' on 'primcorec' (+ got rid of one more 'dummyT') | changeset | files |
| Sat, 26 Oct 2013 12:54:39 +0200 | blanchet | convenience: handle composition gracefully in map in 'primcorec', analogously to 'primrec_new' | changeset | files |