Fri, 26 Jan 2007 09:24:35 +0100 | haftmann | adjusted manual to improved treatment of overloaded constants | changeset | files |
Thu, 25 Jan 2007 16:57:57 +0100 | nipkow | Allows evaluation of min/max o numerals. | changeset | files |
Thu, 25 Jan 2007 09:32:56 +0100 | haftmann | fixed bug for OCaml bigints | changeset | files |