Thu, 07 Jul 2005 12:42:50 +0200 | nipkow | takes & in premises apart now. | changeset | files |
Thu, 07 Jul 2005 12:42:21 +0200 | nipkow | linear arithmetic is more powerful now | changeset | files |
Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | changeset | files |