Wed, 29 Sep 2010 23:24:31 +0200 | blanchet | ignore Skolem assumption (if any) | changeset | files |
Wed, 29 Sep 2010 23:06:02 +0200 | blanchet | second step in introducing the new Skolemizer -- notably, added procedure for discharging Skolem assumptions | changeset | files |
Wed, 29 Sep 2010 22:23:27 +0200 | blanchet | first step towards a new skolemizer that doesn't require "Eps" | changeset | files |