IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
atomic char312 1. a : 2. (a ~ 1)
3. b:. b | a (b ~ 1) (b ~ a)
4. b : 5. c : 6. (b ~ 1)
7. (c ~ 1)
8. a = bc 9. (b ~ 1) (b ~ a)
c | a
By:
Witness b
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(a ~ 1)
b:
(b ~ 1) 
(b ~ a)
c
c | a
