(8steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: fib coprime
  n:. CoPrime(fib(n),fib(n+1))
By: (Analyze 0) THEN (OnVar `n' NatInd)

Generated subgoals:

1   CoPrime(fib(0),fib(0+1))
2 steps
2 1. n : 
2. 0<n
3. CoPrime(fib(n-1),fib(n-1+1))
  CoPrime(fib(n),fib(n+1))
5 steps

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

(8steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc