is mentioned by
[eq_atom_eq_false_elim_sqequal] | |
[lt_int_eq_false_elim_sqequal] | |
[eq_atom_eq_false_elim] | |
[lt_int_eq_false_elim] | |
[eq_int_eq_false_intro] |
In prior sections: core bool 1
Try larger context:
StandardLIB
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html