| Mon, 07 Apr 2008 21:25:20 +0200 | wenzelm | abs_conv: extra argument for bound variable; | changeset | files |
| Mon, 07 Apr 2008 21:25:18 +0200 | wenzelm | renamed iterated forall_conv to params_conv; | changeset | files |
| Mon, 07 Apr 2008 15:37:34 +0200 | haftmann | instantiation replacing primitive instance plus overloaded defs; more conservative type arities | changeset | files |