Nuprl Basics - Proof: sfa doc not via so 1 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc not via so 1 2

1. A : Prop
2.

C:Prop. A

By:

Analyze

Generated subgoal:

1 3. A
False
1 step

About:

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