Nuprl Definition : isatom1

isatom1(z;a;b) ==  PRIMITIVE


Rules referencing :  isAtom1ReduceTrue,  callbyvalueIsatom1,  isatom1ExceptionCases,  isatom1Cases
FDL editor aliases :  isatom1
Latex:
isatom1(z;a;b)  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_36
Last ObjectModification: 2013_05_31-PM-03_37_06

Theory : canonical!form!tests


Home Index