src/HOL/Library/State_Monad.thy
changeset 21818 4d2ad5445c81
parent 21601 6588b947d631
child 21835 84fd5de0691c
     1.1 --- a/src/HOL/Library/State_Monad.thy	Wed Dec 13 14:56:50 2006 +0100
     1.2 +++ b/src/HOL/Library/State_Monad.thy	Wed Dec 13 15:45:29 2006 +0100
     1.3 @@ -9,8 +9,6 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 -section {* Generic, open state monads *}
     1.8 -
     1.9  subsection {* Motivation *}
    1.10  
    1.11  text {*