(LOGIC/PROGRAM-P)
(TYPE-WHEN-LOGIC/PROGRAM-P)
(LOGIC/PROGRAM-P-POSSIBILITIES)
(LOGIC/PROGRAM-FIX$INLINE)
(RETURN-TYPE-OF-LOGIC/PROGRAM-FIX)
(LOGIC/PROGRAM-FIX-IDEMPOTENT)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(LOGIC/PROGRAM-EQUIV$INLINE)
(LOGIC/PROGRAM-EQUIV-IS-AN-EQUIVALENCE)
(LOGIC/PROGRAM-EQUIV-IMPLIES-EQUAL-LOGIC/PROGRAM-FIX-1)
(LOGIC/PROGRAM-FIX-UNDER-LOGIC/PROGRAM-EQUIV)
(LOGIC/PROGRAM/AUTO-P)
(TYPE-WHEN-LOGIC/PROGRAM/AUTO-P)
(LOGIC/PROGRAM/AUTO-P-POSSIBILITIES)
(LOGIC/PROGRAM/AUTO-FIX$INLINE)
(RETURN-TYPE-OF-LOGIC/PROGRAM/AUTO-FIX)
(LOGIC/PROGRAM/AUTO-FIX-IDEMPOTENT)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(LOGIC/PROGRAM/AUTO-EQUIV$INLINE)
(LOGIC/PROGRAM/AUTO-EQUIV-IS-AN-EQUIVALENCE)
(LOGIC/PROGRAM/AUTO-EQUIV-IMPLIES-EQUAL-LOGIC/PROGRAM/AUTO-FIX-1)
(LOGIC/PROGRAM/AUTO-FIX-UNDER-LOGIC/PROGRAM/AUTO-EQUIV)
(T/NIL/AUTO-P)
(TYPE-WHEN-T/NIL/AUTO-P)
(T/NIL/AUTO-P-POSSIBILITIES)
(T/NIL/AUTO-FIX$INLINE)
(RETURN-TYPE-OF-T/NIL/AUTO-FIX)
(T/NIL/AUTO-FIX-IDEMPOTENT)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(T/NIL/AUTO-EQUIV$INLINE)
(T/NIL/AUTO-EQUIV-IS-AN-EQUIVALENCE)
(T/NIL/AUTO-EQUIV-IMPLIES-EQUAL-T/NIL/AUTO-FIX-1)
(T/NIL/AUTO-FIX-UNDER-T/NIL/AUTO-EQUIV)
