(PTERM-P
 (48 12 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (40 10 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (24 24 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (14 14 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (10 10 (:REWRITE DEFAULT-CDR))
 )
(CONSP-WHEN-PTERM-P)
(PTERM-FIX$INLINE)
(PTERM-P-OF-PTERM-FIX
 (16 8 (:REWRITE SYMBOL-LIST-FIX-WHEN-SYMBOL-LISTP))
 (14 6 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (8 8 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (8 8 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 )
(PTERM-FIX-WHEN-PTERM-P
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(PTERM-FIX$INLINE
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(PTERM-EQUIV$INLINE)
(PTERM-EQUIV-IS-AN-EQUIVALENCE)
(PTERM-EQUIV-IMPLIES-EQUAL-PTERM-FIX-1)
(PTERM-FIX-UNDER-PTERM-EQUIV)
(EQUAL-OF-PTERM-FIX-1-FORWARD-TO-PTERM-EQUIV)
(EQUAL-OF-PTERM-FIX-2-FORWARD-TO-PTERM-EQUIV)
(PTERM-EQUIV-OF-PTERM-FIX-1-FORWARD)
(PTERM-EQUIV-OF-PTERM-FIX-2-FORWARD)
(PTERM->BODY$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 )
(PTERM->BODY$INLINE-OF-PTERM-FIX-X
 (9 3 (:REWRITE PTERM-FIX-WHEN-PTERM-P))
 (6 6 (:TYPE-PRESCRIPTION PTERM-P))
 (3 1 (:REWRITE SYMBOL-LIST-FIX-WHEN-SYMBOL-LISTP))
 (3 1 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 )
(PTERM->BODY$INLINE-PTERM-EQUIV-CONGRUENCE-ON-X)
(PTERM->CONTEXT$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(TRUE-LISTP-OF-PTERM->CONTEXT)
(PTERM->CONTEXT$INLINE-OF-PTERM-FIX-X
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 3 (:REWRITE PTERM-FIX-WHEN-PTERM-P))
 (6 6 (:TYPE-PRESCRIPTION PTERM-P))
 (6 6 (:TYPE-PRESCRIPTION PTERM-FIX$INLINE))
 (3 1 (:REWRITE SYMBOL-LIST-FIX-WHEN-SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 )
(PTERM->CONTEXT$INLINE-PTERM-EQUIV-CONGRUENCE-ON-X)
(PTERM->FREE$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(SYMBOL-LISTP-OF-PTERM->FREE)
(PTERM->FREE$INLINE-OF-PTERM-FIX-X
 (9 3 (:REWRITE PTERM-FIX-WHEN-PTERM-P))
 (6 6 (:TYPE-PRESCRIPTION PTERM-P))
 (3 1 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(PTERM->FREE$INLINE-PTERM-EQUIV-CONGRUENCE-ON-X)
(PTERM)
(PTERM-P-OF-PTERM
 (10 6 (:REWRITE SYMBOL-LIST-FIX-WHEN-SYMBOL-LISTP))
 (8 4 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 )
(PTERM->BODY-OF-PTERM)
(PTERM->CONTEXT-OF-PTERM
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION PTERM))
 )
(PTERM->FREE-OF-PTERM)
(PTERM-OF-FIELDS
 (3 1 (:REWRITE PTERM-FIX-WHEN-PTERM-P))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION PTERM-P))
 )
(PTERM-FIX-WHEN-PTERM
 (3 1 (:REWRITE PTERM-FIX-WHEN-PTERM-P))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION PTERM-P))
 )
(EQUAL-OF-PTERM
 (1 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 )
(PTERM-OF-LIST-FIX-CONTEXT
 (4 2 (:REWRITE SYMBOL-LIST-FIX-WHEN-SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 )
(PTERM-LIST-EQUIV-CONGRUENCE-ON-CONTEXT)
(PTERM-OF-SYMBOL-LIST-FIX-FREE
 (4 2 (:REWRITE LIST-FIX-WHEN-TRUE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(PTERM-SYMBOL-LIST-EQUIV-CONGRUENCE-ON-FREE)
(PTERM-FIX-REDEF)
(PARSE-KWD-NAMES)
(ORIGINAL-VAR)
(ORIGINAL-VARS)
(CONVERT-VAR-IN-BINDINGS)
(CONVERT-VARS-IN-TERM)
(UNION-FREE-VARS-OF-PTERMS)
(INDEXES-OF)
(SIMPLIFY-CVAR-PTERM-OF-CASE-EXPR)
(ADD-BINDING-TO-FNS)
(ADD-BINDINGS-TO-FNS)
(KWDS-OF-LIST)
(MAKE-FN)
(NEW-NAME)
(NEW-NAMES)
(ZIP-NAMES-AND-PTERMS)
(MV-MAKE-FNS)
(MAKE-ARGS-ALIST)
(EXTRACT-FNS-FOR-MVL-VARS)
(EXTRACT-FNS-FROM-BINDINGS)
(FN-NAMES-OF-FNS)
(FLATTEN-CONTEXT)
(FLATTEN-FN)
(FLATTEN-FNS)
(ALT-CONST-FNS-GEN)
