Thu, 21 Oct 2010 14:54:39 +0200 | blanchet | cosmetics | changeset | files |
Fri, 22 Oct 2010 13:59:34 +0200 | krauss | relation method: re-check given term with type constraints to avoid unspecific failure if ill-typed -- keep old behaviour for tactic version | changeset | files |