Nuprl Definition : token def
"$token" == PRIMITIVE
Rules referencing
:
tokenEquality
Latex:
"\$token" == PRIMITIVE
Date html generated: 2016_05_13-PM-03_03_40
Last ObjectModification: 2006_01_26-PM-03_52_37
Theory :
core_1
Home
Index