| Wed, 23 Oct 2002 16:09:02 +0200 | streckem | Added compiler | changeset | files |
| Mon, 21 Oct 2002 17:23:23 +0200 | berghofe | Eta contraction is now switched off when printing extracted program. | changeset | files |
| Mon, 21 Oct 2002 17:20:29 +0200 | berghofe | Fixed problem with theorems containing TFrees. | changeset | files |
| 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 |