| 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 |
| Fri, 01 Jul 2011 22:48:05 +0200 | haftmann | merged | changeset | files |
| Fri, 01 Jul 2011 19:57:41 +0200 | haftmann | index cases for constructors | changeset | files |
| Fri, 01 Jul 2011 19:42:07 +0200 | noschinl | cover induct's "arbitrary" more deeply | changeset | files |