src/HOL/Library/Monad_Syntax.thy
2015-12-28 wenzelm 2015-12-28 former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-01-14 Andreas Lochbihler 2015-01-14 indent broken lines of bindings in do blocks
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-08-20 Christian Sternagel 2013-08-20 more general typing of monadic bind
2013-07-12 wenzelm 2013-07-12 localized and modernized adhoc-overloading (patch by Christian Sternagel);
2012-01-06 haftmann 2012-01-06 farewell to theory More_List
2011-12-26 haftmann 2011-12-26 incorporated More_Set and More_List into the Main body -- to be consolidated later
2011-12-24 haftmann 2011-12-24 added monad instance for `set`
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