src/HOL/Library/Heap_Monad.thy
2008-04-28 haftmann 2008-04-28 dropping return in imperative monad bindings
2008-04-27 haftmann 2008-04-27 corrected ML semantics
2008-02-28 haftmann 2008-02-28 added code generator setup
2008-02-27 haftmann 2008-02-27 added theories for imperative HOL