Nuprl Definition : nullvar

nullvar() ==  ""


Definitions occuring in Statement :  token: "$token"
Definitions occuring in definition :  token: "$token"
FDL editor aliases :  nullvar
Latex:
nullvar()  ==    ""


Date html generated: 2020_05_19-PM-09_53_18
Last ObjectModification: 2020_03_09-PM-04_08_04

Theory : terms


Home Index