| Mon, 07 Dec 2009 09:21:14 +0100 | haftmann | merged | changeset | files |
| Mon, 07 Dec 2009 09:16:27 +0100 | haftmann | repaired read_const_expr, broken in 1e7ca47c6c3d | changeset | files |
| Mon, 07 Dec 2009 09:14:12 +0100 | boehmes | merged | changeset | files |
| Mon, 07 Dec 2009 09:12:16 +0100 | boehmes | verbose output of loaded data makes a clear distinction between new and already existing data (types, constants, axioms) | changeset | files |
| Thu, 03 Dec 2009 15:56:06 +0100 | boehmes | faster preprocessing: before applying a step, test if it is applicable (normalization of binders, unfolding of abs/min/max definitions, lambda lifting, explicit application, monomorphization), | changeset | files |
| Sun, 06 Dec 2009 08:28:36 +0100 | haftmann | merged | changeset | files |
| Sun, 06 Dec 2009 08:06:03 +0100 | haftmann | tuned proofs | changeset | files |