Mon, 04 Oct 2010 17:30:34 +0200 | blanchet | correctly handle multiple copies of the same axiom with the same types | changeset | files |
Mon, 04 Oct 2010 16:36:20 +0200 | blanchet | put two operations in the right order | changeset | files |
Mon, 04 Oct 2010 16:24:53 +0200 | blanchet | reintroduce old "unify_prem_with_concl" code to avoid reaching unification bound + primitive handling for polymorphism | changeset | files |