SUPPORTjlc Sections NuprlLIB Doc

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

is mentioned

In prior sections: list 3 jlc


SUPPORTjlc Sections NuprlLIB Doc