ElisTarskiPf
B
Sections
NuprlLIB
Doc
Theorem
Name
Thm*
t,x:Term. (t reps x
Term)
Prop
[reps_wf2]
cites
Thm*
a:Term, A:Type. a IN A
ref(a)
A
[termin_member]
ElisTarskiPf
B
Sections
NuprlLIB
Doc
t,x:Term. (t reps x 
Term) Propa:Term, A:Type. a IN A 
ref(a) At,x:Term. (t reps x Term) Propa:Term, A:Type. a IN A ref(a) A