src/HOL/Library/State_Monad.thy
2006-11-10 haftmann 2006-11-10 improved syntax
2006-11-06 haftmann 2006-11-06 added state monad to HOL library