is mentioned by

Thm* A  False  A	[or_false_r]
Thm* False  A  A	[or_false_l]
Thm* A & False  False	[and_false_r]
Thm* False & A  False	[and_false_l]
Thm* Dec(False)	[decidable__false]
Def A == A  False	[not]

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