(ALL-CONSP)
(ALL-CONSP-OF-CONS)
(USE-ALL-CONSP-FOR-CAR)
(USE-ALL-CONSP-FOR-CAR-OF-LAST
 (2 2 (:TYPE-PRESCRIPTION LAST))
 )
(ALL-CONSP-OF-APPEND)
(ALL-CONSP-OF-UNION-EQUAL)
(ALL-CONSP-WHEN-NOT-CONSP)
(ALL-CONSP-WHEN-NOT-CONSP-CHEAP)
(ALL-CONSP-OF-REVAPPEND)
(ALL-CONSP-OF-CDR)
(ALL-CONSP-OF-NTHCDR)
(ALL-CONSP-OF-FIRSTN)
(ALL-CONSP-OF-REMOVE1-EQUAL)
(ALL-CONSP-OF-REMOVE-EQUAL)
(ALL-CONSP-OF-LAST)
(ALL-CONSP-OF-TAKE)
(ALL-CONSP-WHEN-PERM)
(ALL-CONSP-OF-TRUE-LIST-FIX)
(PERM-IMPLIES-EQUAL-ALL-CONSP-1)
(USE-ALL-CONSP)
(USE-ALL-CONSP-2)
(ALL-CONSP-OF-ADD-TO-SET-EQUAL)
