Nuprl Definition : isaxiom def

if z = Ax then a otherwise b ==  PRIMITIVE


Rules referencing :  callbyvalueIsaxiom,  isaxiomExceptionCases,  isaxiomCases
FDL editor aliases :  isaxiom
Latex:
if  z  =  Ax  then  a  otherwise  b  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_04_32
Last ObjectModification: 2012_09_11-PM-05_21_07

Theory : canonical!form!tests


Home Index