Nuprl - Proof: dneg elim a

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: dneg elim a

A:Prop. Dec(A)

(

By:

GenRepD

Generated subgoals:

1 1. A : Prop
2. Dec(A)
3. A
A
1 step

2 1. A : Prop
2. Dec(A)
3. A
A
1 step

About:

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

1	1. A : Prop 2. Dec(A) 3. A A	1 step
2	1. A : Prop 2. Dec(A) 3. A A	1 step