Searched refs:forget1 (Results 1 – 1 of 1) sorted by relevance
655 (cons '(mlist simp) (mapcar #'forget1 (cdr pat))))656 (t (forget1 pat))))658 (defun forget1 (pat) function