| 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 |