| 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 |
| Mon, 11 Jun 2007 11:07:18 +0200 | chaieb | Generated reflected QE procedure for Presburger Arithmetic-- Cooper's Algorithm -- see HOL/ex/Reflected_Presburger.thy | changeset | files |