Searched refs:everysubst0 (Results 1 – 1 of 1) sorted by relevance
172 (ratreduce (everysubst0 (car a) (car b) (car c))173 (everysubst0 (car a) (car b) (cdr c)))196 (defun everysubst0 (x i z) function