(4steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc fun noteq example1 1
1. (x.x) = (x.if x<0 0 ; x fi)
  False
By: ApFun: Hyp:1 to: -1  

Generated subgoal:

1 2. -1 = if (-1)<0 0 ; -1 fi
  False
2 steps

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

(4steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc