IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
primrec wf21 1. T : Type
2. n : 3. 0<n 4. b:T, c:((n-1)TT). primrec(n-1;b;c) T 5. b : T 6. c : nTT 7. n = 0
primrec(n-1;b;c) T
By:
BackThruSomeHyp
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
b:T, c:(
(n-1)
T
T
n = 0
primrec(n-1;b;c) 
