(STR::BIN-DIGIT-CHAR-FIX)
(STR::BIN-DIGIT-CHAR-P-OF-BIN-DIGIT-CHAR-FIX
 (4 4 (:REWRITE STR::BIN-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-BIN-DIGIT-CHAR-LISTP))
 )
(STR::BIN-DIGIT-CHAR-FIX-WHEN-BIN-DIGIT-CHAR-P
 (4 4 (:REWRITE STR::BIN-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-BIN-DIGIT-CHAR-LISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (2 2 (:REWRITE STR::BIN-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-BIN-DIGIT-CHAR-LISTP))
 )
(STR::BIN-DIGIT-CHAR-EQUIV$INLINE)
(STR::BIN-DIGIT-CHAR-EQUIV-IS-AN-EQUIVALENCE)
(STR::BIN-DIGIT-CHAR-EQUIV-IMPLIES-EQUAL-BIN-DIGIT-CHAR-FIX-1)
(STR::BIN-DIGIT-CHAR-FIX-UNDER-BIN-DIGIT-CHAR-EQUIV)
(STR::EQUAL-OF-BIN-DIGIT-CHAR-FIX-1-FORWARD-TO-BIN-DIGIT-CHAR-EQUIV)
(STR::EQUAL-OF-BIN-DIGIT-CHAR-FIX-2-FORWARD-TO-BIN-DIGIT-CHAR-EQUIV)
(STR::BIN-DIGIT-CHAR-EQUIV-OF-BIN-DIGIT-CHAR-FIX-1-FORWARD)
(STR::BIN-DIGIT-CHAR-EQUIV-OF-BIN-DIGIT-CHAR-FIX-2-FORWARD)
