Nuprl - SUPPORTjlc Citations of disjoint2

SUPPORTjlc Sections NuprlLIB Doc

Def disjoint

(eq;L;M) == (letrec disjoint2 L = (Case of L; nil

true

; h.t

if h(

eq) M

false

else disjoint2(t) fi) ) (L)

is mentioned

In prior sections: list 3 jlc

SUPPORTjlc Sections NuprlLIB Doc