| Tue, 15 Feb 2011 10:03:10 +0100 | blanchet | adjusted fudge factors (based on Judgment Day runs) | changeset | files |
| Mon, 14 Feb 2011 18:28:36 +0100 | nipkow | generalized termination lemmas | changeset | files |
| Mon, 14 Feb 2011 15:27:23 +0100 | krauss | strengthened induction rule; | changeset | files |
| Mon, 14 Feb 2011 12:25:26 +0100 | boehmes | limit the number of generated SMT monomorphization instances (in addition to the existing monomorphization limit which does not prevent seemingly infinite loops); | changeset | files |