(STD::DEFLIST-LOCAL-BOOLEANP-ELEMENT-THM)
(STD::DEFLIST-LOCAL-ELEMENTP-OF-NIL-THM)
(PSEUDO-TESTS-AND-CALL-LISTP)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-CONS)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-CDR-WHEN-PSEUDO-TESTS-AND-CALL-LISTP)
(PSEUDO-TESTS-AND-CALL-LISTP-WHEN-NOT-CONSP)
(PSEUDO-TESTS-AND-CALLP-OF-CAR-WHEN-PSEUDO-TESTS-AND-CALL-LISTP)
(TRUE-LISTP-WHEN-PSEUDO-TESTS-AND-CALL-LISTP-COMPOUND-RECOGNIZER)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-LIST-FIX)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-SFIX)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-INSERT)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-DELETE)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-MERGESORT)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-UNION)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-INTERSECT-1)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-INTERSECT-2)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-DIFFERENCE)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-DUPLICATED-MEMBERS)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-REV)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-APPEND)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-RCONS)
(PSEUDO-TESTS-AND-CALLP-WHEN-MEMBER-EQUAL-OF-PSEUDO-TESTS-AND-CALL-LISTP)
(PSEUDO-TESTS-AND-CALL-LISTP-WHEN-SUBSETP-EQUAL)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-SET-DIFFERENCE-EQUAL)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-INTERSECTION-EQUAL-1)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-INTERSECTION-EQUAL-2)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-UNION-EQUAL)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-TAKE)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-REPEAT)
(PSEUDO-TESTS-AND-CALLP-OF-NTH-WHEN-PSEUDO-TESTS-AND-CALL-LISTP)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-UPDATE-NTH)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-BUTLAST)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-NTHCDR)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-LAST)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-REMOVE)
(PSEUDO-TESTS-AND-CALL-LISTP-OF-REVAPPEND)
