src/HOL/Library/Monad_Syntax.thy
changeset 66787 64b47495676d
parent 66608 f3e7a1418979
child 68061 81d90f830f99