is mentioned by
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [and_functionality_wrt_implies] |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [and_functionality_wrt_iff] |
![]() ![]() ![]() ![]() ![]() ![]() ![]() | [exists_over_and_r] |
![]() ![]() | [and_true_r] |
![]() ![]() | [and_true_l] |
![]() ![]() | [and_false_r] |
![]() ![]() | [and_false_l] |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [not_over_and] |
![]() ![]() ![]() ![]() ![]() ![]() | [not_over_and_b] |
![]() ![]() ![]() ![]() ![]() ![]() | [not_over_or_a] |
![]() ![]() ![]() ![]() ![]() ![]() | [not_over_or] |
![]() ![]() | [and_comm] |
![]() ![]() | [and_assoc] |
![]() ![]() ![]() ![]() | [sq_stable__and] |
![]() ![]() ![]() ![]() | [decidable__and] |
![]() ![]() ![]() | [uni_sat] |
![]() ![]() ![]() | [unique_set] |
![]() ![]() ![]() ![]() ![]() ![]() | [iff] |
Try larger context:
StandardLIB
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html