Fri, 25 Aug 2006 18:48:09 +0200 | paulson | tidied | changeset | files |
Fri, 25 Aug 2006 18:47:36 +0200 | paulson | better skolemization, using first-order resolution rather than hoping for the right result | changeset | files |
Fri, 25 Aug 2006 18:46:24 +0200 | paulson | using inc | changeset | files |
Fri, 25 Aug 2006 18:45:57 +0200 | paulson | explicit type variables prevent empty sorts | changeset | files |
Fri, 25 Aug 2006 18:44:59 +0200 | paulson | replaced skolem declarations by automatic skolemization of everything | changeset | files |
Fri, 25 Aug 2006 00:10:10 +0200 | webertj | avoid duplicate tactics | changeset | files |
Thu, 24 Aug 2006 23:51:46 +0200 | webertj | additional list of tactics that can be added to arith | changeset | files |