ElisTarskiPf B Sections NuprlLIB Doc

Def x reps y t == x IN t & ref(x) = y t

is mentioned by

Thm* t:Term. q(t) reps t Term[up_reps]
Def x reps y == x reps y Term[repst]


ElisTarskiPf B Sections NuprlLIB Doc