| Wed, 19 Feb 2014 09:50:50 +0100 | traytel | simplifications of internal codatatype construction | changeset | files |
| Wed, 19 Feb 2014 08:34:34 +0100 | blanchet | adapted Nitpick to 'primrec' refactoring | changeset | files |
| Wed, 19 Feb 2014 08:34:33 +0100 | blanchet | moved 'primrec' up (for real this time) and removed temporary 'old_primrec' | changeset | files |
| Wed, 19 Feb 2014 08:34:32 +0100 | blanchet | rewrote a small portion of code to avoid dependency on low-level constant | changeset | files |
| Wed, 19 Feb 2014 08:33:59 +0100 | blanchet | tuning | changeset | files |
| Wed, 19 Feb 2014 17:16:40 +1100 | kleing | provide more automation for type definitions (makes book exercises easier) | changeset | files |
| Tue, 18 Feb 2014 23:08:59 +0100 | blanchet | prepare two-stage 'primrec' setup | changeset | files |