(4steps 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 wf 1 2
1. n : 
2. n1:. n1<n  fib(n1)  
3. n = 0 & n = 1
  fib(n-1)+fib(n-2)  
By: BackThru Thm* i,j:. i+j   THEN BackThru 2

Generated subgoals:

None

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

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