src/HOL/Library/State_Monad.thy
changeset 51288 be7e9a675ec9
parent 41229 d797baa3d57c
child 54703 499f92dc6e45