Fri, 22 Dec 2000 18:20:55 +0100 | wenzelm | tuned; | changeset | files |
Fri, 22 Dec 2000 13:53:28 +0100 | paulson | better definitions of SML90 features | changeset | files |
Thu, 21 Dec 2000 19:19:18 +0100 | nipkow | *** empty log message *** | changeset | files |
Thu, 21 Dec 2000 18:57:39 +0100 | nipkow | something stopped working, had to add real_add_ac | changeset | files |
Thu, 21 Dec 2000 18:57:12 +0100 | nipkow | rational linear arithmetic | changeset | files |
Thu, 21 Dec 2000 18:53:32 +0100 | paulson | this makes the proof run (or run faster) | changeset | files |