Nuprl - Proof: int ooc nat 1 1 a 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: int ooc nat 1 1 a 1 1

1. x :

if 0

2 else (-x)

2-1 fi

By:	SplitOnConclITE

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html