src/HOL/Library/Open_State_Syntax.thy
21 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2017-07-11 Lars Hupel 2017-07-11 State_Monad ~> Open_State_Syntax