IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc or dec
1
1
1. P : Prop
2. Q : Prop
3. P
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
