Nuprl Definition : isatom2

isatom2(z;a;b) ==  PRIMITIVE


Rules referencing :  isAtom2ReduceTrue,  callbyvalueIsatom2,  isatom2ExceptionCases,  isatom2Cases
FDL editor aliases :  isatom2
Latex:
isatom2(z;a;b)  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_35
Last ObjectModification: 2012_08_11-AM-10_57_11

Theory : canonical!form!tests


Home Index