Nuprl - Proof: or fused

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: or fused

Q:Prop. Q

By:

Auto

Generated subgoals:

1 1. Q : Prop
2. Q  Q
  Q
1 step

2 1. Q : Prop
2. Q
  Q  Q
1 step

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html