| Mon, 23 Dec 2013 16:29:43 +0100 | haftmann | prefer Y_of_X over X_to_Y; | changeset | files |
| Mon, 23 Dec 2013 16:59:56 +0100 | panny | merge | changeset | files |
| Mon, 23 Dec 2013 15:30:31 +0100 | panny | prevent ambiguity when mutual recursion maps a datatype to itself, which yielded wrong definitions in some cases (e.g. nat) | changeset | files |