(STD::DEFLIST-LOCAL-BOOLEANP-ELEMENT-THM)
(STRING-LISTP-OF-CONS)
(STRING-LISTP-OF-CDR-WHEN-STRING-LISTP)
(STRING-LISTP-WHEN-NOT-CONSP)
(STRINGP-OF-CAR-WHEN-STRING-LISTP)
(TRUE-LISTP-WHEN-STRING-LISTP-COMPOUND-RECOGNIZER)
(STRING-LISTP-OF-LIST-FIX)
(STRING-LISTP-OF-SFIX)
(STRING-LISTP-OF-INSERT)
(STRING-LISTP-OF-DELETE)
(STRING-LISTP-OF-MERGESORT)
(STRING-LISTP-OF-UNION)
(STRING-LISTP-OF-INTERSECT-1)
(STRING-LISTP-OF-INTERSECT-2)
(STRING-LISTP-OF-DIFFERENCE)
(STRING-LISTP-OF-DUPLICATED-MEMBERS)
(STRING-LISTP-OF-REV)
(STRING-LISTP-OF-APPEND)
(STRING-LISTP-OF-RCONS)
(STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP)
(STRING-LISTP-WHEN-SUBSETP-EQUAL)
(STRING-LISTP-OF-SET-DIFFERENCE-EQUAL)
(STRING-LISTP-OF-INTERSECTION-EQUAL-1)
(STRING-LISTP-OF-INTERSECTION-EQUAL-2)
(STRING-LISTP-OF-UNION-EQUAL)
(STRING-LISTP-OF-TAKE)
(STRING-LISTP-OF-REPEAT)
(STRINGP-OF-NTH-WHEN-STRING-LISTP)
(STRING-LISTP-OF-UPDATE-NTH)
(STRING-LISTP-OF-BUTLAST)
(STRING-LISTP-OF-NTHCDR)
(STRING-LISTP-OF-LAST)
(STRING-LISTP-OF-REMOVE)
(STRING-LISTP-OF-REVAPPEND)
(TRUE-LISTP-WHEN-STRING-LISTP-REWRITE)
(STRING-LISTP-OF-REMOVE-EQUAL)
(STRING-LISTP-OF-REMOVE-DUPLICATES-EQUAL
 (911 21 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (587 27 (:DEFINITION TRUE-LISTP))
 (472 49 (:REWRITE SUBSETP-CAR-MEMBER))
 (400 53 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (318 53 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (248 127 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (188 21 (:REWRITE STRING-LISTP-OF-LIST-FIX))
 (163 163 (:REWRITE DEFAULT-CDR))
 (147 21 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (126 46 (:REWRITE STRING-LISTP-OF-CDR-WHEN-STRING-LISTP))
 (113 113 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (106 106 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (106 53 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (85 76 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (85 76 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (80 80 (:REWRITE SUBSETP-TRANS2))
 (80 80 (:REWRITE SUBSETP-TRANS))
 (72 72 (:REWRITE DEFAULT-CAR))
 (64 32 (:REWRITE DEFAULT-+-2))
 (55 55 (:REWRITE SUBSETP-MEMBER . 2))
 (54 54 (:REWRITE SUBSETP-MEMBER . 4))
 (54 54 (:REWRITE INTERSECTP-MEMBER . 3))
 (54 54 (:REWRITE INTERSECTP-MEMBER . 2))
 (53 53 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (53 53 (:REWRITE SET::IN-SET))
 (52 52 (:REWRITE MEMBER-WHEN-ATOM))
 (32 32 (:REWRITE DEFAULT-+-1))
 (20 20 (:REWRITE LIST-FIX-WHEN-NOT-CONSP))
 (18 3 (:REWRITE STRINGP-OF-CAR-WHEN-STRING-LISTP))
 )
