Fri, 01 Aug 2014 23:29:49 +0200 | blanchet | centralized boolean simplification so that e.g. LEO-II benefits from it | changeset | files |
Fri, 01 Aug 2014 20:44:51 +0200 | blanchet | careful when compressing 'obtains' | changeset | files |
Fri, 01 Aug 2014 20:44:29 +0200 | blanchet | better handling of variable names | changeset | files |