src/HOL/Library/State_Monad.thy
2013-12-09 wenzelm 2013-12-09 more antiquotations;
2010-12-17 wenzelm 2010-12-17 replaced command 'nonterminals' by slightly modernized version 'nonterminal';
2010-11-04 haftmann 2010-11-04 corrected quoting
2010-11-04 haftmann 2010-11-04 dropped return abbreviation for Pair -- confusing if combined with monad syntax; tuned document
2010-08-11 haftmann 2010-08-11 print fcomp combinator only monadic in connection with other monadic expressions
2010-07-22 haftmann 2010-07-22 more generous memory settings for scala check
2010-07-14 haftmann 2010-07-14 tuned infix syntax
2010-07-13 krauss 2010-07-13 State_Monad uses Monad_Syntax
2010-07-09 haftmann 2010-07-09 nicer xsymbol syntax for fcomp and scomp
2010-02-11 wenzelm 2010-02-11 modernized translations; formal markup of @{syntax_const} and @{const_syntax}; minor tuning;
2009-05-04 haftmann 2009-05-04 fixed broken link
2009-03-27 haftmann 2009-03-27 normalized imports
2009-02-04 haftmann 2009-02-04 dropped Id
2008-09-06 haftmann 2008-09-06 dropped "run" marker in monad syntax
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-04-09 haftmann 2008-04-09 removed syntax from monad combinators; renamed mbind to scomp
2008-03-14 haftmann 2008-03-14 tuned
2008-03-12 haftmann 2008-03-12 tuned
2008-02-26 haftmann 2008-02-26 operation collapse
2008-01-02 haftmann 2008-01-02 some more primrec
2007-12-10 haftmann 2007-12-10 switched import from Main to List
2007-08-13 haftmann 2007-08-13 fixed syntax
2007-08-10 haftmann 2007-08-10 syntax fix
2007-08-09 haftmann 2007-08-09 tuned
2007-04-13 wenzelm 2007-04-13 do translation: CONST;
2007-03-21 krauss 2007-03-21 Unified function syntax
2007-02-28 wenzelm 2007-02-28 tuned ML setup;
2006-12-13 haftmann 2006-12-13 whitespace correction
2006-12-13 haftmann 2006-12-13 dropped superfluous header
2006-11-30 wenzelm 2006-11-30 simplified syntax for 'definition', 'abbreviation';
2006-11-18 haftmann 2006-11-18 added combinators and lemmas
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-10 haftmann 2006-11-10 improved syntax
2006-11-06 haftmann 2006-11-06 added state monad to HOL library