MarkB generic Sections NuprlLIB Doc

Def Case x;y = > body(x;y) cont(x1,z) == InjCase(x1; _. cont(z,z); x2. x2/x3,x2@0. body(x3;x2@0))

is mentioned

In prior sections: mb tree


MarkB generic Sections NuprlLIB Doc