IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc or dec
1
2
1. P : Prop
2. Q : Prop
3. Q
x:
. (x = 0 
P) & (x 
0 Q)
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
