| Thu, 07 Apr 2011 12:16:27 +0200 | blanchet | further development of new Skolemizer -- make sure constructed terms have correct types and fixed a few bugs where the goal was out of sync with what we had in mind | changeset | files |
| Thu, 07 Apr 2011 12:16:26 +0200 | blanchet | make new Skolemizer more robust | changeset | files |
| Thu, 07 Apr 2011 12:16:25 +0200 | blanchet | tuned comment | changeset | files |
| Thu, 07 Apr 2011 18:24:59 +0200 | wenzelm | discontinued user-defined token translations; | changeset | files |