1.1 --- a/src/HOL/Library/Library.thy	Sat Mar 06 11:21:09 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Sat Mar 06 15:31:30 2010 +0100
     1.3 @@ -58,6 +58,7 @@
     1.4    SML_Quickcheck
     1.5    State_Monad
     1.6    Sum_Of_Squares
     1.7 +  Table
     1.8    Transitive_Closure_Table
     1.9    Univ_Poly
    1.10    While_Combinator