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