Nuprl Definition : alpha-rename

alpha-rename(f;t) ==  alpha-rename-aux(f;[];t)


Definitions occuring in Statement :  alpha-rename-aux: alpha-rename-aux(f;bnds;t),  nil: []
Definitions occuring in definition :  alpha-rename-aux: alpha-rename-aux(f;bnds;t),  nil: []
FDL editor aliases :  alpha-rename
Latex:
alpha-rename(f;t)  ==    alpha-rename-aux(f;[];t)


Date html generated: 2020_05_19-PM-09_56_40
Last ObjectModification: 2020_03_09-PM-04_09_27

Theory : terms


Home Index