Index of books/std/lists

Files

• abstract
• acl2-count
• add-to-set
• all-equalp
• append
• bits-equiv
• butlast
• duplicity
• equiv
• final-cdr
• flatten
• index-of
• intersection
• intersectp
• last
• len
• list-defuns
• list-fix
• mfc-utils
• nats-equiv
• no-duplicatesp
• nth
• nthcdr
• prefixp
• rcons
• remove-duplicates
• remove
• remove1-equal
• repeat
• resize-list
• rev
• revappend
• reverse
• same-lengthp
• set-difference
• sets
• sublistp
• subseq
• suffixp
• take
• top
• true-listp
• union
• update-nth