diff -r 0d82107dc07a -r 854173fcd21c NEWS
--- a/NEWS	Thu Nov 12 17:21:51 2009 +0100
+++ b/NEWS	Thu Nov 12 20:38:57 2009 +0100
@@ -37,6 +37,8 @@
 
 *** HOL ***
 
+* A tabled implementation of the reflexive transitive closure
+
 * New commands "code_pred" and "values" to invoke the predicate compiler
 and to enumerate values of inductive predicates.