IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
decidable nat
1
2
1. m : 
2. n :
3. 
m = n
m = n 
m = n
| By: |
DRight THEN StrongAuto |
Generated subgoal:
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
