src/HOL/Library/Open_State_Syntax.thy
14 months ago wenzelm 2018-05-20 prefer HTTPS;
18 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