IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
rem gen base case21 1. a : 2. n:. |a|<|n| (a rem n) = a 3. n : 4. |a|<|n|
5. 0<n (a rem n) = a
By:
BackThru: Hyp:2
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
n:
. |a|<|n| 
(a rem n) = a
(a rem n) = a
