Nuprl - Proof: decidable iff

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decidable iff

P,Q:Prop. Dec(P)

Dec(Q)

Dec(P

By:	RA (Repeat (Unfolds [`iff`;`rev_implies`] 0))

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html