| Mon, 30 May 2011 17:00:38 +0200 | blanchet | minimize with Metis if possible | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | support "metis" and "metisFT" as provers in the architecture, so they can be used for minimizing | changeset | files |
| Mon, 30 May 2011 15:30:05 +0100 | paulson | Workaround for hyperref bug affecting index entries involving the | symbol | changeset | files |
| Mon, 30 May 2011 13:58:00 +0200 | bulwahn | improving heuristics of type annotations in contravariant positions for the special case with instances of the class partial_term_of | changeset | files |