IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def p 
q == if p
true
else q fi
is mentioned by
Def fib(n) == if n= 0  n= 1 1 else fib(n-1)+fib(n-2) fi (recursive) | [fib] |
In prior sections:
bool 1
Try larger context:
StandardLIB
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html