| 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 |
| Sat, 05 Dec 2009 20:02:21 +0100 | haftmann | tuned lattices theory fragements; generlized some lemmas from sets to lattices | changeset | files |
| Mon, 07 Dec 2009 00:02:54 +0100 | wenzelm | avoid lazy val with side-effects -- spurious null pointers!? | changeset | files |
| Mon, 07 Dec 2009 00:02:07 +0100 | wenzelm | toString: more robust handling of null; | changeset | files |