Nuprl Definition : token1 def

'$x'1 ==  PRIMITIVE


Rules referencing :  token1Equality
Latex:
'\$x'1  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_21_05
Last ObjectModification: 2013_05_31-PM-02_44_16

Theory : atom_1


Home Index