MarkB generic Sections NuprlLIB Doc

Def x f y == f(x,y)

is mentioned

In prior sections: mb basic mb nat mb list 1 mb list 2 rel 1


MarkB generic Sections NuprlLIB Doc