changeset 29182 | 9304afad825e |
parent 29145 | b1c6f4563df7 |
child 29395 | 89813bbf0f3e |
1.1 --- a/CONTRIBUTORS Sat Dec 27 17:35:00 2008 +0100 1.2 +++ b/CONTRIBUTORS Sat Dec 27 17:35:01 2008 +0100 1.3 @@ -7,6 +7,9 @@ 1.4 Contributions to this Isabelle version 1.5 -------------------------------------- 1.6 1.7 +* December 2008: Armin Heller, TUM and Alexander Krauss, TUM 1.8 + Method "sizechange" for advanced termination proofs. 1.9 + 1.10 * November 2008: Timothy Bourke, NICTA 1.11 Performance improvement (factor 50) for find_theorems. 1.12