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 |