(STD::VARIABLE-OR-CONSTANT-LISTP)
(STD::COLLECT-VARS)
(STD::DEFPROJECTION-APPEND-NIL-IS-LIST-FIX)
(ELEMENTLIST-PROJECTION-EXEC)
(ELEMENTLIST-PROJECTION-EXEC-REMOVAL
 (21 15 (:REWRITE DEFAULT-CAR))
 (21 3 (:REWRITE CDR-OF-ELEMENTLIST-PROJECTION))
 (19 13 (:REWRITE DEFAULT-CDR))
 (6 3 (:REWRITE CAR-OF-ELEMENTLIST-PROJECTION))
 (3 3 (:REWRITE CONSP-OF-ELEMENTLIST-PROJECTION))
 )
(ELEMENTLIST-PROJECTION-NREV)
(ELEMENTLIST-PROJECTION-NREV-REMOVAL
 (48 4 (:REWRITE LIST-FIX-WHEN-LEN-ZERO))
 (40 10 (:DEFINITION BINARY-APPEND))
 (33 5 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (28 28 (:TYPE-PRESCRIPTION LEN))
 (25 25 (:REWRITE DEFAULT-CDR))
 (20 20 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (20 4 (:DEFINITION TRUE-LISTP))
 (20 4 (:DEFINITION LEN))
 (19 19 (:REWRITE DEFAULT-CAR))
 (8 4 (:REWRITE DEFAULT-+-2))
 (7 1 (:REWRITE LIST-FIX-OF-APPEND))
 (4 4 (:REWRITE LIST-FIX-WHEN-NOT-CONSP))
 (4 4 (:REWRITE DEFAULT-+-1))
 )
(STD::DEFPROJECTION-SUBSTITUTION)
(STD::DEFPROJECTION-REQUIREMENT-ALIST)
(STD::DEFPROJECTION-THMBODY-SUBST)
(STD::DEFPROJECTION-THMNAME-SUBST)
(STD::DEFPROJECTION-INSTANTIATE)
(STD::DEFPROJECTION-INSTANTIATE-TABLE-THMS-AUX)
(STD::DEFPROJECTION-INSTANTIATE-TABLE-THMS)
(STD::DEFPROJECTION-FN)
