src/HOL/Library/Monad_Syntax.thy
2010-07-14 haftmann 2010-07-14 load cache_io before code generator; moved adhoc-overloading to generic tools
2010-07-14 haftmann 2010-07-14 dropped M suffix; added predicate monad bind
2010-07-13 krauss 2010-07-13 State_Monad uses Monad_Syntax
2010-07-13 krauss 2010-07-13 uniform do notation for monads