Nuprl - Proof: assert of eq bool 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert of eq bool 1 1

1. p :

2. q :

((p

(

q))

p = q

By:	OnHyps [2;1] BoolCases THEN AbReduce 0 THEN RW assert_pushdownC 0

Generated subgoals:

1 1. false = true
False
2 steps

2 1. true = false
False
1 step

About:

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