Fri, 27 Jun 2014 10:49:52 +0200 | blanchet | resolution modulo double negation | changeset | files |
Fri, 27 Jun 2014 10:11:44 +0200 | blanchet | compile | changeset | files |
Fri, 27 Jun 2014 10:11:44 +0200 | blanchet | merged two small theory files | changeset | files |