(DCLS-HAS-MEASUREP)
(DEF-HAS-MEASUREP)
(ADD-BOGUS-MEASURE
 (1 1 (:TYPE-PRESCRIPTION ADD-BOGUS-MEASURE))
 )
(ADD-BOGUS-MEASURE-LST
 (1 1 (:TYPE-PRESCRIPTION ADD-BOGUS-MEASURE))
 )
(FN-NAMES-FROM-DEFS)
(BUILD-CALL-TREE)
(ALL-FNNAMES-LIST)
(FREE-NODE-LIST
 (3049 1437 (:REWRITE DEFAULT-+-2))
 (1981 1437 (:REWRITE DEFAULT-+-1))
 (702 668 (:REWRITE DEFAULT-CAR))
 (676 670 (:REWRITE DEFAULT-CDR))
 (482 371 (:REWRITE DEFAULT-<-2))
 (455 371 (:REWRITE DEFAULT-<-1))
 (252 252 (:REWRITE DEFAULT-UNARY-MINUS))
 (180 180 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (180 180 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (152 38 (:REWRITE O-P-O-INFP-CAR))
 (130 130 (:REWRITE DEFAULT-COERCE-2))
 (130 130 (:REWRITE DEFAULT-COERCE-1))
 (126 126 (:REWRITE NUMERATOR-WHEN-INTEGERP))
 (126 126 (:REWRITE INTEGERP==>DENOMINATOR=1))
 (126 126 (:REWRITE DEFAULT-NUMERATOR))
 (126 126 (:REWRITE DEFAULT-DENOMINATOR))
 (122 122 (:REWRITE DEFAULT-REALPART))
 (122 122 (:REWRITE DEFAULT-IMAGPART))
 (77 7 (:DEFINITION ASSOC-EQUAL))
 (50 25 (:REWRITE O-INFP->NEQ-0))
 (38 38 (:REWRITE O-P-DEF-O-FINP-1))
 (4 2 (:DEFINITION TRUE-LISTP))
 )
(SEPARATE-FNS)
(FIND-FN-DEF)
(FIND-FN-DEFS)
(MUT-REC-FN)
