is mentioned by

Thm* False  True	[not_false]
Thm* True  False	[not_true]
Thm* (x:A. False)  False	[exists_false]
Thm* A:S. (x:A. False)  False	[all_false]
Thm* (False  P)  True	[false_imp]
Thm* (P  False)  P	[imp_false]
Thm* P & False  False	[and_false]
Thm* False & P  False	[false_and]
Thm* P  False  P	[or_false]
Thm* False  P  P	[false_or]
Thm* false  False	[assert_of_bfalse]
Thm* false = true  False	[btrue_neq_bfalse_simp_2]
Thm* true = false  False	[btrue_neq_bfalse_simp_1]

In prior sections: core bool 1

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