src/HOL/Library/Monad_Syntax.thy
changeset 68658 16cc1161ad7f
parent 68061 81d90f830f99
child 69593 3dda49e08b9d