| 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 |