| Mon, 19 Sep 2011 16:18:18 +0200 | bulwahn | also adding type annotations for the dynamic invocation | changeset | files |
| Mon, 19 Sep 2011 14:35:51 +0200 | noschinl | removed legacy lemmas in Complete_Lattices | changeset | files |
| Mon, 19 Sep 2011 14:24:53 +0200 | bulwahn | increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling | changeset | files |
| Mon, 19 Sep 2011 22:45:57 +0200 | wenzelm | more isatest stats; | changeset | files |