| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | make "smart" mode of "explicit_apply" smarter, by also detecting the other kind of higher-order quantification, namely "bool"s | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | imported patch metis_reconstr_give_type_infer_a_chance | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | make "metisX"'s default more like old "metis" | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | whitespace tuning | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | tuned Metis examples | changeset | files |
| 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 |