Fri, 01 Aug 2014 23:58:42 +0200 | blanchet | normalize conjectures vs. negated conjectures when comparing terms | changeset | files |
Fri, 01 Aug 2014 23:33:43 +0200 | blanchet | tweaked 'clone' formula detection | changeset | files |
Fri, 01 Aug 2014 23:29:50 +0200 | blanchet | fine-tuned Isar reconstruction, esp. boolean simplifications | changeset | files |