Fri, 01 Aug 2014 20:44:29 +0200 | blanchet | better handling of variable names | changeset | files |
Fri, 01 Aug 2014 20:15:41 +0200 | blanchet | try to get rid of skolems first | changeset | files |
Fri, 01 Aug 2014 20:08:50 +0200 | blanchet | nicer generated variable names | changeset | files |