Nuprl Definition : mkwfterm

mkwfterm(f;bts) ==  mkterm(f;bts)


Definitions occuring in Statement :  mkterm: mkterm(opr;bts)
Definitions occuring in definition :  mkterm: mkterm(opr;bts)
FDL editor aliases :  mkwfterm
Latex:
mkwfterm(f;bts)  ==    mkterm(f;bts)


Date html generated: 2020_05_19-PM-09_58_34
Last ObjectModification: 2020_03_09-PM-04_10_21

Theory : terms


Home Index