| Thu, 30 Sep 2010 09:31:07 +0200 | haftmann | updated files to recent changes | changeset | files |
| Thu, 30 Sep 2010 08:50:45 +0200 | haftmann | corrected subsumption check: arguments have been reversed; addition of default equations to non-default equations is identity | changeset | files |
| Thu, 30 Sep 2010 08:50:45 +0200 | haftmann | tuned | changeset | files |
| Thu, 30 Sep 2010 07:34:06 +0200 | haftmann | merged | changeset | files |
| Wed, 29 Sep 2010 15:28:29 +0200 | haftmann | redundancy check: drop trailing Var arguments (avoids eta problems with equations) | changeset | files |
| Wed, 29 Sep 2010 17:59:20 +0200 | wenzelm | merged | changeset | files |
| Wed, 29 Sep 2010 11:55:08 +0200 | bulwahn | removing obsolete distinction between prod_case and other case expressions after merging of split and prod_case (d3daea901123) in predicate compiler | changeset | files |