| Fri, 14 Feb 2014 18:42:43 +0100 | blanchet | generate proper 'DtRec' indices in 'datatype_new_compat' for the case where some types are duplicated | changeset | files |
| Fri, 14 Feb 2014 17:18:28 +0100 | blanchet | better handling of recursion through functions | changeset | files |
| Fri, 14 Feb 2014 16:22:09 +0100 | blanchet | added examples/tests | changeset | files |
| Fri, 14 Feb 2014 16:21:41 +0100 | blanchet | tuned code to allow mutualized corecursion through different functions with the same target type | changeset | files |
| Fri, 14 Feb 2014 15:39:43 +0100 | blanchet | removed assumption in 'primrec_new' that a given constructor can only occur once | changeset | files |
| Fri, 14 Feb 2014 15:14:35 +0100 | blanchet | generate unique names | changeset | files |