Nuprl Lemma : pax_p1a_wf
pax_p1a() 
Name
Proof not projected
Definitions occuring in Statement :
pax_p1a: pax_p1a(),
name: Name,
member: t T
Definitions :
atom: Atom,
member: t T,
list: type List,
nil: [],
token: "$token",
cons: [car / cdr],
equal: s = t,
pax_p1a: pax_p1a(),
name: Name,
Auto: Error :Auto,
Unfolds: Error :Unfolds,
tactic: Error :tactic,
CollapseTHEN: Error :CollapseTHEN
pax\_p1a() \mmember{} Name
Date html generated:
2011_10_20-PM-11_43_32
Last ObjectModification:
2011_05_12-PM-03_01_35
Home
Index