src/HOL/Library/Monad_Syntax.thy
changeset 49093 fdc301f592c4
parent 46143 c932c80d3eae
child 52622 e0ff1625e96d