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

Generated subgoal:

1 1. (x.x) = (x.if x<0 0 ; x fi)  
  False
3 steps

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

(4steps total) PrintForm Definitions NuprlPrimitives Sections NuprlLIB Doc