Nuprl Definition : alpha-eq-terms

alpha-eq-terms(opr;a;b) ==  alpha-aux(opr;[];[];a;b)


Definitions occuring in Statement :  alpha-aux: alpha-aux(opr;vs;ws;a;b),  nil: []
Definitions occuring in definition :  alpha-aux: alpha-aux(opr;vs;ws;a;b),  nil: []
FDL editor aliases :  alpha-eq-terms
Latex:
alpha-eq-terms(opr;a;b)  ==    alpha-aux(opr;[];[];a;b)


Date html generated: 2020_05_19-PM-09_55_36
Last ObjectModification: 2020_03_09-PM-04_08_58

Theory : terms


Home Index