sequent
sat
lemmas
Sections
ClassicalProps(jlc)
Doc
Def
x(
eq) L == (letrec is_member x eq L = (Case of L nil
false
h.t
if eq(x,h)
true
else is_member(x,eq,t) fi) ) (x ,eq ,L)
In prior sections:
list
3
jlc
eq) L
== (letrec is_member x eq L = (Case of L
nil 
false
h.t if eq(x,h) true else is_member(x,eq,t) fi) )
(x
,eq
,L)