(CHAR-DOWNCASE-GEN
 (1 1 (:TYPE-PRESCRIPTION CHAR-DOWNCASE-GEN))
 )
(CHARS-DOWNCASE-GEN
 (17 17 (:REWRITE DEFAULT-CAR))
 (13 13 (:REWRITE DEFAULT-CDR))
 )
(CHARACTER-LISTP-OF-CHARS-DOWNCASE-GEN
 (22 22 (:REWRITE DEFAULT-CAR))
 (17 17 (:REWRITE DEFAULT-CDR))
 (9 3 (:DEFINITION REVAPPEND))
 )
(STRING-DOWNCASE-GEN
 (1 1 (:REWRITE DEFAULT-COERCE-2))
 (1 1 (:REWRITE DEFAULT-COERCE-1))
 )
(STRINGP-OF-STRING-DOWNCASE-GEN)
