src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu Nov 12 17:21:51 2009 +0100
+++ b/src/HOL/Library/Library.thy	Thu Nov 12 20:38:57 2009 +0100
@@ -51,6 +51,7 @@
   SML_Quickcheck
   State_Monad
   Sum_Of_Squares
+  Transitive_Closure_Table
   Univ_Poly
   While_Combinator
   Word