# HG changeset patch
# User wenzelm
# Date 1254252993 -7200
# Node ID 5f485f98652faa23b69fbb6f8dd1944fe7a12b0c
# Parent  54fee94b2b29901dcec3bab031c7e5e0bec725e3
Thomas Sewell, NICTA: more efficient HOL/record implementation;

diff -r 54fee94b2b29 -r 5f485f98652f 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