| Thu, 17 Jun 2010 10:51:38 +0200 | haftmann | dropped obscure type argument weakening mapping -- was only a misunderstanding | changeset | files |
| Thu, 17 Jun 2010 10:45:10 +0200 | haftmann | added simp evaluator | changeset | files |
| Thu, 17 Jun 2010 10:02:29 +0200 | haftmann | merged | changeset | files |