| 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 |
| 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 |
| Mon, 07 Apr 2008 15:37:27 +0200 | paulson | * Metis: the maximum number of clauses that can be produced from a theorem is now given by the attribute max_clauses. Theorems that exceed this number are ignored, with a warning printed. | changeset | files |
| Mon, 07 Apr 2008 15:37:04 +0200 | paulson | Superficial changes | changeset | files |