Thu, 30 May 2002 10:21:28 +0200 | nipkow | *** empty log message *** | changeset | files |
Thu, 30 May 2002 10:12:52 +0200 | nipkow | Modifications due to enhanced linear arithmetic. | changeset | files |
Thu, 30 May 2002 10:12:11 +0200 | nipkow | Big update. Allows case splitting on ~= now (trying both < and >). | changeset | files |