Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | more through tests of new Metis | changeset | files |
Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | improved correctness of handling of higher-order occurrences of "Not" in new Metis (and probably in old Metis) | changeset | files |
Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | fixed type helper indices in new Metis | changeset | files |