src/HOL/Library/State_Monad.thy
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