| Sat, 02 Jul 2011 10:37:35 +0200 | haftmann | correction: do not assume that case const index covered all cases | changeset | files |
| Fri, 01 Jul 2011 23:31:23 +0200 | haftmann | remove illegal case combinators after merge | changeset | files |
| Fri, 01 Jul 2011 23:10:27 +0200 | haftmann | corrected misunderstanding what `old functions` are supposed to be | changeset | files |
| Fri, 01 Jul 2011 23:07:06 +0200 | haftmann | centralized deletion of equations for constructors; corrected misunderstanding what `old functions` are supposed to be | changeset | files |