IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
atomic char
2
1
1
1. a : 
2. 
(a ~ 1)
3. a = 0
2 | 0
| By: |
BackThru Thm*  b:. b | 0 |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
