Nuprl Basics - Proof: sfa doc sqtype ctr example part1

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

((

n.n<

0) ~ (

n.false

))

By:	SimilarTo: (n.n<0) = (n.false)

Generated subgoals:

1 (n.n<0) = (n.false)
3 steps

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

About:

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

1	(n.n<0) = (n.false)	3 steps
2	1. (n.n<0) ~ (n.false) (n.n<0) = (n.false)	1 step