Thu, 23 Sep 1999 13:06:31 +0200 | paulson | tidied; added lemma restrict_to_left | changeset | files |
Thu, 23 Sep 1999 09:05:44 +0200 | nipkow | Restructured lin.arith.package and fixed a proof in RComplete. | changeset | files |
Thu, 23 Sep 1999 09:04:36 +0200 | nipkow | Restructured lin.arith.package. | changeset | files |