
diff -r 0210a5db2013 -r 4d2ad5445c81 src/HOL/Library/State_Monad.thy
--- a/src/HOL/Library/State_Monad.thy	Wed Dec 13 14:56:50 2006 +0100
+++ b/src/HOL/Library/State_Monad.thy	Wed Dec 13 15:45:29 2006 +0100
@@ -9,8 +9,6 @@
 imports Main
 begin
 
-section {* Generic, open state monads *}
-
 subsection {* Motivation *}
 
 text {*




