CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Nov 12 17:21:51 2009 +0100
+++ b/CONTRIBUTORS	Thu Nov 12 20:38:57 2009 +0100
@@ -6,6 +6,10 @@
 
 Contributions to this Isabelle version
 --------------------------------------
+
+* November 2009: Stefan Berghofer, Lukas Bulwahn, TUM
+  A tabled implementation of the reflexive transitive closure
+
 * November 2009: Lukas Bulwahn, TUM
   Predicate Compiler: a compiler for inductive predicates to equational specfications