(C$::GRAMMAR-CHARACTER-P)
(C$::BOOLEANP-OF-GRAMMAR-CHARACTER-P)
(STD::DEFLIST-LOCAL-BOOLEANP-ELEMENT-THM)
(C$::GRAMMAR-CHARACTER-LISTP
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE NAT-LISTP-WHEN-NOT-CONSP))
 )
(C$::GRAMMAR-CHARACTER-LISTP-OF-CONS)
(C$::GRAMMAR-CHARACTER-LISTP-OF-CDR-WHEN-GRAMMAR-CHARACTER-LISTP)
(C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP)
(C$::GRAMMAR-CHARACTER-P-OF-CAR-WHEN-GRAMMAR-CHARACTER-LISTP)
(C$::GRAMMAR-CHARACTER-LISTP-OF-APPEND)
(C$::GRAMMAR-CHARACTER-LISTP-OF-LIST-FIX)
(C$::GRAMMAR-CHARACTER-LISTP-OF-SFIX)
(C$::GRAMMAR-CHARACTER-LISTP-OF-INSERT)
(C$::GRAMMAR-CHARACTER-LISTP-OF-DELETE)
(C$::GRAMMAR-CHARACTER-LISTP-OF-MERGESORT)
(C$::GRAMMAR-CHARACTER-LISTP-OF-UNION)
(C$::GRAMMAR-CHARACTER-LISTP-OF-INTERSECT-1)
(C$::GRAMMAR-CHARACTER-LISTP-OF-INTERSECT-2)
(C$::GRAMMAR-CHARACTER-LISTP-OF-DIFFERENCE)
(C$::GRAMMAR-CHARACTER-LISTP-OF-DUPLICATED-MEMBERS)
(C$::GRAMMAR-CHARACTER-LISTP-OF-REV)
(C$::GRAMMAR-CHARACTER-LISTP-OF-RCONS)
(C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP)
(C$::GRAMMAR-CHARACTER-LISTP-WHEN-SUBSETP-EQUAL)
(C$::GRAMMAR-CHARACTER-LISTP-SET-EQUIV-CONGRUENCE)
(C$::GRAMMAR-CHARACTER-LISTP-OF-SET-DIFFERENCE-EQUAL)
(C$::GRAMMAR-CHARACTER-LISTP-OF-INTERSECTION-EQUAL-1)
(C$::GRAMMAR-CHARACTER-LISTP-OF-INTERSECTION-EQUAL-2)
(C$::GRAMMAR-CHARACTER-LISTP-OF-UNION-EQUAL)
(C$::GRAMMAR-CHARACTER-LISTP-OF-TAKE)
(C$::GRAMMAR-CHARACTER-LISTP-OF-REPEAT)
(C$::GRAMMAR-CHARACTER-P-OF-NTH-WHEN-GRAMMAR-CHARACTER-LISTP)
(C$::GRAMMAR-CHARACTER-LISTP-OF-UPDATE-NTH)
(C$::GRAMMAR-CHARACTER-LISTP-OF-BUTLAST)
(C$::GRAMMAR-CHARACTER-LISTP-OF-NTHCDR)
(C$::GRAMMAR-CHARACTER-LISTP-OF-LAST)
(C$::GRAMMAR-CHARACTER-LISTP-OF-REMOVE)
(C$::GRAMMAR-CHARACTER-LISTP-OF-REVAPPEND)
