1.1 --- a/src/HOL/Library/Library.thy Thu Nov 12 17:21:51 2009 +0100
1.2 +++ b/src/HOL/Library/Library.thy Thu Nov 12 20:38:57 2009 +0100
1.3 @@ -51,6 +51,7 @@
1.4 SML_Quickcheck
1.5 State_Monad
1.6 Sum_Of_Squares
1.7 + Transitive_Closure_Table
1.8 Univ_Poly
1.9 While_Combinator
1.10 Word