src/HOL/Library/State_Monad.thy
changeset 53745 788730ab7da4
parent 41229 d797baa3d57c
child 54703 499f92dc6e45