src/HOL/Library/Library.thy

--- 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
 (*>*)