SUPPORTjlc Sections NuprlLIB Doc

Def xL.P(x) == (letrec list_all L = (Case of L; nil True ; h.t P(h) & list_all(t)) ) (L)

is mentioned

In prior sections: list 3 jlc


SUPPORTjlc Sections NuprlLIB Doc