SUPPORTjlc Sections NuprlLIB Doc

Def xL.P(x) == (letrec all L = (Case of L; nil true ; h.t P(h)(all(t))) ) (L)

is mentioned

In prior sections: list 3 jlc


SUPPORTjlc Sections NuprlLIB Doc