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