isabelle: File revisions

src/HOL/Library/Monad_Syntax.thy

2015-06-17	wenzelm	2015-06-17	isabelle update_cartouches;	file \| diff \| annotate
2015-01-14	Andreas Lochbihler	2015-01-14	indent broken lines of bindings in do blocks	file \| diff \| annotate
2014-11-02	wenzelm	2014-11-02	modernized header;	file \| diff \| annotate
2013-08-20	Christian Sternagel	2013-08-20	more general typing of monadic bind	file \| diff \| annotate
2013-07-12	wenzelm	2013-07-12	localized and modernized adhoc-overloading (patch by Christian Sternagel);	file \| diff \| annotate
2012-01-06	haftmann	2012-01-06	farewell to theory More_List	file \| diff \| annotate
2011-12-26	haftmann	2011-12-26	incorporated More_Set and More_List into the Main body -- to be consolidated later	file \| diff \| annotate
2011-12-24	haftmann	2011-12-24	added monad instance for `set`	file \| diff \| annotate
2011-10-14	haftmann	2011-10-14	monadic bind	file \| diff \| annotate
2010-12-17	wenzelm	2010-12-17	replaced command 'nonterminals' by slightly modernized version 'nonterminal';	file \| diff \| annotate
2010-09-05	krauss	2010-09-05	enabled do notation for option type	file \| diff \| annotate
2010-07-19	haftmann	2010-07-19	bind and then latex symbols	file \| diff \| annotate
2010-07-14	haftmann	2010-07-14	corrected import	file \| diff \| annotate
2010-07-14	haftmann	2010-07-14	load cache_io before code generator; moved adhoc-overloading to generic tools	file \| diff \| annotate
2010-07-14	haftmann	2010-07-14	dropped M suffix; added predicate monad bind	file \| diff \| annotate
2010-07-13	krauss	2010-07-13	State_Monad uses Monad_Syntax	file \| diff \| annotate
2010-07-13	krauss	2010-07-13	uniform do notation for monads	file \| diff \| annotate

isabelle

RSS Atom