| Wed, 02 Jan 2013 13:31:13 +0100 | blanchet | tuning | changeset | files |
| Wed, 02 Jan 2013 13:14:47 +0100 | blanchet | properly take the existential closure of skolems | changeset | files |
| Wed, 02 Jan 2013 10:54:36 +0100 | blanchet | use "Lazy" to simplify control flow a bit and guarantee single evaluation (at most) | changeset | files |