Def false == inr()

is mentioned by

Thm* i,j:. (i=j) = false  i  j	[eq_int_eq_false_elim]
Thm* i,j:. i  j  (i=j) = false	[eq_int_eq_false]
Thm* b:. b = false  b	[eqff_to_assert]
Thm* b:. b  b = false	[not_assert_elim]
Thm* false	[assert_of_ff]
Thm* u:. (ufalse) = false	[band_ff_simp]
Thm* u:. (u  false) = u	[bor_ff_simp]
Thm* P:(Prop). P(false)  P(true)  (b:. P(b))	[bool_ind]
Thm* b:. b = true  b = false	[bool_cases]
Thm* true = false	[btrue_neq_bfalse]
Def x=yAtom == if x=yAtomtrue; false fi	[eq_atom]
Def i<j == if i<j true ; false fi	[lt_int]
Def i=j == if i=j true ; false fi	[eq_int]
Def pq == if p q else false fi	[band]
Def b == if b false else true fi	[bnot]

Try larger context: StandardLIB IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html