Nuprl Definition : isatom def

if z is an atom then a otherwise b ==  PRIMITIVE


Rules referencing :  isatomReduceTrue,  callbyvalueIsatom,  isatomExceptionCases,  isatomCases
FDL editor aliases :  isatom
Latex:
if  z  is  an  atom  then  a  otherwise  b  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_34
Last ObjectModification: 2013_02_25-PM-11_55_50

Theory : canonical!form!tests


Home Index