MarkB generic Sections NuprlLIB Doc

Def ptn_atom(x) == inl(x)

is mentioned

In prior sections: mb basic


MarkB generic Sections NuprlLIB Doc