| Mon, 19 Sep 2011 16:18:19 +0200 | bulwahn | determining the fastype of a case-pattern but ignoring dummy type constructors that were added as markers for type annotations | changeset | files |
| Mon, 19 Sep 2011 16:18:19 +0200 | bulwahn | only annotating constants with sort constraints | changeset | files |
| 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 |
| Mon, 19 Sep 2011 22:42:57 +0200 | wenzelm | refined Symbol.is_symbolic -- cover recoded versions as well; | changeset | files |