| 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 |
| Mon, 17 Feb 2014 13:31:41 +0100 | blanchet | tuning | changeset | files |
| Mon, 17 Feb 2014 11:14:26 +0100 | wenzelm | more markup; | changeset | files |
| Sun, 16 Feb 2014 21:33:28 +0100 | blanchet | folded 'rel_option' into 'option_rel' | changeset | files |
| Sun, 16 Feb 2014 21:33:28 +0100 | blanchet | folded 'list_all2' with the relator generated by 'datatype_new' | changeset | files |
| Sun, 16 Feb 2014 21:33:28 +0100 | blanchet | removed final periods in messages for proof methods | changeset | files |
| Sun, 16 Feb 2014 21:09:47 +0100 | wenzelm | tuned proofs; | changeset | files |