| 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 |
| Fri, 22 Oct 2010 20:57:33 +0100 | wenzelm | cumulative update of generated files (since bf164c153d10); | changeset | files |