Searched refs:allsubst00 (Results 1 – 1 of 1) sorted by relevance
174 (allsubst00 a b c))))))184 (defun allsubst00 (a b c) function480 (setq *exp (allsubst00 a b *exp))481 (if *radsubst (setq *exp2 (allsubst00 a b *exp2))))