Structure monadsyntax

Source File	Identifier index	Theory binding index

signature monadsyntax =
sig

end;

Source File	Identifier index	Theory binding index

HOL 4, Kananaskis-10