| Mon, 07 Apr 2008 21:25:22 +0200 | wenzelm | abs_conv: extra argument for bound variable; | changeset | files |
| Mon, 07 Apr 2008 21:25:21 +0200 | wenzelm | added swap_params; | changeset | files |
| 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 |
| Mon, 07 Apr 2008 15:37:33 +0200 | haftmann | instantiation replacing primitive instance plus overloaded defs | changeset | files |
| Mon, 07 Apr 2008 15:37:32 +0200 | haftmann | instantiation replacing primitive instance plus overloaded defs; realpow.simps now named power_real.simps | changeset | files |