src/HOL/Library/Library.thy
changeset 21192 5fe5cd5fede7
parent 20809 6c4fd0b4b63a
child 21256 47195501ecf7
     1.1 --- a/src/HOL/Library/Library.thy	Mon Nov 06 16:28:31 2006 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Nov 06 16:28:33 2006 +0100
     1.3 @@ -25,6 +25,7 @@
     1.4    Coinductive_List
     1.5    AssocList
     1.6    Infinite_Set
     1.7 +  State_Monad
     1.8  begin
     1.9  end
    1.10  (*>*)