Checksum: 52a55b5510d4b633a08453515868ad2db1dc399f6b73f176aba4596cb9c2e9fa (page 1)

• acl2/8.5dfsg-5/books/projects/filesystems/utilities/member-intersectp.lisp
• acl2/8.6+dfsg-2/books/projects/filesystems/utilities/member-intersectp.lisp
• acl2/8.6+dfsg-3/books/projects/filesystems/utilities/member-intersectp.lisp