(7steps total) PrintForm Definitions HanoiTowers Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: exponentiation wf 1 1
1. n : 
  (n^0)  
By: Compute n^0 * 1

Generated subgoals:

None

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

(7steps total) PrintForm Definitions HanoiTowers Sections NuprlLIB Doc