| Mon, 11 Jun 2007 18:26:44 +0200 | chaieb | Added dependency on file Groebner_Basis.thy | changeset | files |
| Mon, 11 Jun 2007 16:23:17 +0200 | chaieb | Added instantiation of algebra method to fields | changeset | files |
| Mon, 11 Jun 2007 16:21:03 +0200 | nipkow | hid constant "dom" | changeset | files |
| Mon, 11 Jun 2007 11:10:04 +0200 | chaieb | Removed from CVS, since obselete in the new Presburger Method; | changeset | files |