| Mon, 21 Oct 2002 17:19:51 +0200 | berghofe | - reconstruct_proof no longer relies on TypeInfer.infer_types | changeset | files |
| Mon, 21 Oct 2002 17:17:40 +0200 | berghofe | Removed Logic.skip_flexpairs. | changeset | files |
| Mon, 21 Oct 2002 17:16:24 +0200 | berghofe | Replaced variantlist (quadratic) by gen_names (linear). | changeset | files |
| Mon, 21 Oct 2002 17:15:40 +0200 | berghofe | Removed add_env because Vartab.map was too slow for large environments. | changeset | files |
| Mon, 21 Oct 2002 17:14:19 +0200 | berghofe | - removed flexpair | changeset | files |
| Mon, 21 Oct 2002 17:12:44 +0200 | berghofe | No more explicit manipulation of flex-flex constraints in metahyps_aux_tac. | changeset | files |
| Mon, 21 Oct 2002 17:11:29 +0200 | berghofe | Removed flexpair_def. | changeset | files |