--- a/src/HOL/Library/Library.thy Mon Nov 06 16:28:31 2006 +0100 +++ b/src/HOL/Library/Library.thy Mon Nov 06 16:28:33 2006 +0100 @@ -25,6 +25,7 @@ Coinductive_List AssocList Infinite_Set + State_Monad begin end (*>*)