Searched refs:daddnq (Results 1 – 1 of 1) sorted by relevance
563 (daddnq flag (sub (cadr pat) (caddr pat))))989 ((eq '$pn sgn) (daddnq nil x))2233 (defun daddnq (flag x) function2236 (dolist (term (cdr lhs)) (daddnq flag term)))2272 (daddnq t x)