--- a/src/HOL/Library/Library.thy Tue Jul 13 00:15:37 2010 +0200 +++ b/src/HOL/Library/Library.thy Tue Jul 13 00:15:37 2010 +0200 @@ -32,6 +32,7 @@ ListVector Kleene_Algebra Mapping + Monad_Syntax More_List Multiset Nat_Infinity