src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Sat Mar 06 11:21:09 2010 +0100
+++ b/src/HOL/Library/Library.thy	Sat Mar 06 15:31:30 2010 +0100
@@ -58,6 +58,7 @@
   SML_Quickcheck
   State_Monad
   Sum_Of_Squares
+  Table
   Transitive_Closure_Table
   Univ_Poly
   While_Combinator