| Mon, 16 Dec 2013 20:24:13 +0100 | blanchet | reverse Skolem function arguments | changeset | files |
| Mon, 16 Dec 2013 17:58:31 +0100 | blanchet | correcly recognize E skolemization steps that are wrapped in a 'shift_quantors' inference | changeset | files |
| Mon, 16 Dec 2013 17:18:52 +0100 | blanchet | fixed confusion between 'prop' and 'bool' introduced in 4960647932ec | changeset | files |
| Mon, 16 Dec 2013 14:49:18 +0100 | blanchet | generalize method list further to list of list (clustering preferred methods together) | changeset | files |