| Tue, 05 Nov 2013 05:48:08 +0100 | blanchet | generalize types when synthetizing n2m (co)recursors, to facilitate reuse | changeset | files |
| Tue, 05 Nov 2013 05:48:08 +0100 | blanchet | nicer error message in case of duplicates | changeset | files |
| Tue, 05 Nov 2013 15:30:53 +1100 | kleing | use int example like in the rest of IMP (instead of nat) | changeset | files |