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