IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc whatever in void dom fun
1
1
1. A : Type
2. x : Void
whatever = x 
A
| By: |
HypsImpossibleBy Trivial |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
