src/HOL/Library/Open_State_Syntax.thy
2017-07-11 Lars Hupel 2017-07-11 State_Monad ~> Open_State_Syntax