Fri, 01 Oct 2010 10:39:51 +0200 | blanchet | compute substitutions in new skolemizer | changeset | files |
Thu, 30 Sep 2010 20:44:53 +0200 | blanchet | encode axiom number and cluster number in all zapped quantifiers to help discharging new skolemizer assumptions | changeset | files |