Nuprl Basics - Proof: sfa doc sqtype ctr example part1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc sqtype ctr example part1 1

(

n.n<

0) = (

n.false

)

By:	SimilarTo: (-1<0) = false THENA Reduce Concl

Generated subgoals:

1   true = false
1 step

2 1. (n.n<0) = (n.false)
  (-1<0) = false
1 step

About:

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

1	true = false	1 step
2	1. (n.n<0) = (n.false) (-1<0) = false	1 step