Nuprl - Proof: intseg void 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: intseg void 1

1. a :

2. b :

3. b

Void ~ {a..b

}

By:	OOCinterpolate 0 THEN BackThru: Thm* (A ~ 0) (A)

Generated subgoals:

1 (Void)
2 steps

2 ({a..b})
3 steps

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html