1.1 --- a/src/HOL/Library/Library.thy	Tue Jul 13 00:15:37 2010 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Jul 13 00:15:37 2010 +0200
     1.3 @@ -32,6 +32,7 @@
     1.4    ListVector
     1.5    Kleene_Algebra
     1.6    Mapping
     1.7 +  Monad_Syntax
     1.8    More_List
     1.9    Multiset
    1.10    Nat_Infinity