CONTRIBUTORS
changeset 29182 9304afad825e
parent 29145 b1c6f4563df7
child 29398 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