(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(CHARACTER-LIST-EQUIV$INLINE)
(CHARACTER-LIST-EQUIV-IS-AN-EQUIVALENCE)
(CHARACTER-LIST-EQUIV-IMPLIES-EQUAL-CHARACTER-LIST-FIX-1)
(CHARACTER-LIST-FIX-UNDER-CHARACTER-LIST-EQUIV)
(EQUAL-OF-CHARACTER-LIST-FIX-1-FORWARD-TO-CHARACTER-LIST-EQUIV)
(EQUAL-OF-CHARACTER-LIST-FIX-2-FORWARD-TO-CHARACTER-LIST-EQUIV)
(CHARACTER-LIST-EQUIV-OF-CHARACTER-LIST-FIX-1-FORWARD)
(CHARACTER-LIST-EQUIV-OF-CHARACTER-LIST-FIX-2-FORWARD)
