IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc type poly constant121 1. T : Type
2. f : D:Type. DT 3. A : Type
4. A 5. B : Type
6. B 7. f (D:Type. DT)
f TopT
By:
Witness-1: Top
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
D:Type. D
T
(
f 
