(2steps total) PrintForm Definitions int 2 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: absval wf
  x:. |x|  
By: Unfold `absval` 0 THEN Analyze 0

Generated subgoal:

1 1. x : 
  if 0x x else -x fi  
1 step

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

(2steps total) PrintForm Definitions int 2 Sections StandardLIB Doc