| Sat, 06 Jan 2007 20:47:09 +0100 | chaieb | A few theorems on integer divisibily. | changeset | files |
| Fri, 05 Jan 2007 17:38:05 +0100 | paulson | Introduction of a bound on DEPTH_ITER, to prevent the meson method from running forever | changeset | files |
| Fri, 05 Jan 2007 15:33:05 +0100 | webertj | reverted to v1.60 (PolyML 4.1.3 still has the wrong signature for Array.modifyi) | changeset | files |
| Fri, 05 Jan 2007 14:32:07 +0100 | haftmann | added codegen_func.ML | changeset | files |