Thu, 21 Jun 2007 15:42:12 +0200 | wenzelm | tuned comments; | changeset | files |
Thu, 21 Jun 2007 15:42:11 +0200 | wenzelm | moved HOL/Tools/Presburger/qelim.ML to HOL/Tools/qelim.ML; | changeset | files |
Thu, 21 Jun 2007 15:42:10 +0200 | wenzelm | Ferrante-Rackoff quantifier elimination. | changeset | files |