Nuprl Definition : sqntype def
SqnType(T) ==  PRIMITIVE
Rules referencing : 
sqntypeEquality, 
sqntypeIntro, 
sqntypeDef
FDL editor aliases : 
sqntype
Latex:
SqnType(T)  ==    PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_36
Last ObjectModification:
2012_12_13-PM-00_52_39
Theory : core_1
Home
Index