CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Sep 29 21:34:59 2009 +0200
+++ b/CONTRIBUTORS	Tue Sep 29 21:36:33 2009 +0200
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* September 2009: Thomas Sewell, NICTA
+  More efficient HOL/record implementation
+
 * September 2009: Sascha Boehme, TUM
   SMT method using external SMT solvers