| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | prevent type errors because of inconsistent skolem Var types by giving fresh indices to Skolems | changeset | files |
| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | make handling of parameters more robust, by querying the goal | changeset | files |
| Fri, 29 Oct 2010 11:35:28 +0200 | haftmann | actually pass "verbose" argument | changeset | files |
| Fri, 29 Oct 2010 16:16:10 +0200 | wenzelm | eliminated obsolete \_ escape; | changeset | files |