src/HOL/Library/Monad_Syntax.thy
2011-10-14 haftmann 2011-10-14 monadic bind
2010-12-17 wenzelm 2010-12-17 replaced command 'nonterminals' by slightly modernized version 'nonterminal';
2010-09-05 krauss 2010-09-05 enabled do notation for option type
2010-07-19 haftmann 2010-07-19 bind and then latex symbols
2010-07-14 haftmann 2010-07-14 corrected import
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