| 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 |
| Mon, 07 Apr 2008 15:37:31 +0200 | haftmann | explicit definition for "/" | changeset | files |
| Mon, 07 Apr 2008 15:37:30 +0200 | haftmann | explicit dummy instantiation for div | changeset | files |