(TAU-ALIST-REC)
(TAU-ALIST)
(GET-TERM-TAU-PROGRAM)
(GET-TERM-TAU)
(FOO)
(FOO-SIGNATURE
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 )
(PRED)
(APPLY-FOR-DEFEVALUATOR)
(TAU-EVAL)
(EVAL-LIST-KWOTE-LST)
(TRUE-LIST-FIX-EV-LST)
(EV-COMMUTES-CAR)
(EV-LST-COMMUTES-CDR)
(TAU-EVAL-CONSTRAINT-0)
(TAU-EVAL-CONSTRAINT-1)
(TAU-EVAL-CONSTRAINT-2)
(TAU-EVAL-CONSTRAINT-3)
(TAU-EVAL-CONSTRAINT-4)
(TAU-EVAL-CONSTRAINT-5)
(TAU-EVAL-CONSTRAINT-6)
(TAU-EVAL-CONSTRAINT-7)
(TAU-EVAL-CONSTRAINT-8)
(TAU-EVAL-CONSTRAINT-9)
(MF-TAU)
(MF-TAU-HYP)
(*META*-MF-COMPUTE-TAU
 (51 1 (:DEFINITION PSEUDO-TERMP))
 (24 24 (:REWRITE DEFAULT-CDR))
 (24 24 (:REWRITE DEFAULT-CAR))
 (15 3 (:DEFINITION LEN))
 (10 2 (:DEFINITION ASSOC-EQUAL))
 (7 7 (:TYPE-PRESCRIPTION LEN))
 (6 3 (:REWRITE DEFAULT-+-2))
 (4 2 (:DEFINITION NTH))
 (3 3 (:REWRITE TAU-EVAL-CONSTRAINT-8))
 (3 3 (:REWRITE TAU-EVAL-CONSTRAINT-3))
 (3 3 (:REWRITE DEFAULT-+-1))
 (3 1 (:DEFINITION SYMBOL-LISTP))
 (3 1 (:DEFINITION ALISTP))
 (2 2 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (2 2 (:REWRITE TAU-EVAL-CONSTRAINT-1))
 (2 1 (:DEFINITION TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (1 1 (:TYPE-PRESCRIPTION PSEUDO-TERM-LISTP))
 (1 1 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 )
