Nuprl Basics - NuprlPrimitives LEMMAs for sfa_doc_sqtype_ctr_example

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

Theorem	Name
Thm* ((n.n<0) ~ (n.false))	[sfa_doc_sqtype_ctr_example_part1]
cites the following:
Thm* true = false	[btrue_neq_bfalse]

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