is mentioned by
[no_repeats_nil] | |
![]() Thm* no_repeats(T;l) ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [l_before_transitivity] |
![]() Thm* no_repeats(T;L) ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [append_overlapping_sublists] |
![]() ![]() ![]() ![]() ![]() | [no_repeats_cons] |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [no_repeats_iff] |
Try larger context:
MarkB generic
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html