IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc type poly constant11 1. T : Type
2. D:Type. DT 3. A : Type
4. a : A 5. B : Type
6. b : B a = b Top
By:
Analyze
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
D:Type. D
T
a = b 
Top
