| Mon, 17 Feb 2014 13:31:42 +0100 | blanchet | renamed 'primrec_new' to 'primrec', overriding the old command (which it still uses as a fallback for old-style datatypes) | changeset | files |
| Mon, 17 Feb 2014 13:31:42 +0100 | blanchet | tuning: moved code where it belongs | changeset | files |
| Mon, 17 Feb 2014 13:31:42 +0100 | blanchet | have 'primrec_new' fall back on old 'primrec' when given old-style datatypes | changeset | files |