Structure monadsyntax

Source File	Identifier index	Theory binding index

signature monadsyntax =
sig

end

Source File	Identifier index	Theory binding index

HOL 4, Kananaskis-11