Nuprl Lemma : esharp-freevars_wf
[x:esharp_exp()]. (esharp-freevars(x) 
Atom List)
Proof not projected
Error : references
\mforall{}[x:esharp\_exp()]. (esharp-freevars(x) \mmember{} Atom List)
Date html generated:
2012_02_20-PM-07_50_50
Last ObjectModification:
2011_02_03-PM-05_27_58
Home
Index