src/HOL/Library/State_Monad.thy
changeset 25595 6c48275f9c76
parent 24253 3d7f74fd9fd9
child 25765 49580bd58a21
     1.1 --- a/src/HOL/Library/State_Monad.thy	Mon Dec 10 11:24:09 2007 +0100
     1.2 +++ b/src/HOL/Library/State_Monad.thy	Mon Dec 10 11:24:12 2007 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  header {* Combinators syntax for generic, open state monads (single threaded monads) *}
     1.5  
     1.6  theory State_Monad
     1.7 -imports Main
     1.8 +imports List
     1.9  begin
    1.10  
    1.11  subsection {* Motivation *}