src/HOL/Library/Monad_Syntax.thy
changeset 66787 64b47495676d
parent 66608 f3e7a1418979
child 68061 81d90f830f99
equal deleted inserted replaced
66786:61617dafcd60 66787:64b47495676d