| Thu, 24 Jul 2014 10:22:34 +0200 | wenzelm | updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2); | changeset | files |
| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | stick to external proofs when invoking E, because they are more detailed and do not merge steps | changeset | files |
| Thu, 24 Jul 2014 00:24:00 +0200 | blanchet | more robust handling of types for skolems (modeled as Frees) | changeset | files |