MarkB generic Sections NuprlLIB Doc

Def Case v = > case cont(x) == if x=v case else cont(x) fi

is mentioned

In prior sections: prog 1


MarkB generic Sections NuprlLIB Doc