src/HOL/Library/Monad_Syntax.thy
Thu, 07 Sep 2017 11:36:57 +0200 wenzelm avoid depedency on FSet;
Mon, 10 Jul 2017 23:21:54 +0200 Lars Hupel FSet is monadic
Sat, 16 Jan 2016 15:04:31 +0100 wenzelm more symbols;
Sat, 02 Jan 2016 13:29:34 +0100 wenzelm more symbols;
Fri, 01 Jan 2016 14:44:52 +0100 wenzelm more symbols;
Mon, 28 Dec 2015 21:47:32 +0100 wenzelm former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Wed, 14 Jan 2015 15:22:50 +0100 Andreas Lochbihler indent broken lines of bindings in do blocks
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Tue, 20 Aug 2013 17:34:11 +0900 Christian Sternagel more general typing of monadic bind
Fri, 12 Jul 2013 16:19:05 +0200 wenzelm localized and modernized adhoc-overloading (patch by Christian Sternagel);
Fri, 06 Jan 2012 20:39:50 +0100 haftmann farewell to theory More_List
Mon, 26 Dec 2011 22:17:10 +0100 haftmann incorporated More_Set and More_List into the Main body -- to be consolidated later
Sat, 24 Dec 2011 15:53:08 +0100 haftmann added monad instance for `set`
Fri, 14 Oct 2011 22:42:56 +0200 haftmann monadic bind
Fri, 17 Dec 2010 17:43:54 +0100 wenzelm replaced command 'nonterminals' by slightly modernized version 'nonterminal';
Sun, 05 Sep 2010 21:39:30 +0200 krauss enabled do notation for option type
Mon, 19 Jul 2010 08:59:43 +0200 haftmann bind and then latex symbols
Wed, 14 Jul 2010 15:49:29 +0200 haftmann corrected import
Wed, 14 Jul 2010 14:16:12 +0200 haftmann load cache_io before code generator; moved adhoc-overloading to generic tools
Wed, 14 Jul 2010 12:27:44 +0200 haftmann dropped M suffix; added predicate monad bind
Tue, 13 Jul 2010 11:50:22 +0200 krauss State_Monad uses Monad_Syntax
Tue, 13 Jul 2010 00:15:37 +0200 krauss uniform do notation for monads
less more (0) tip