src/HOL/Library/Library.thy
changeset 21192 5fe5cd5fede7
parent 20809 6c4fd0b4b63a
child 21256 47195501ecf7
--- 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
 (*>*)