| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/autoeqn.h |
int inhibit_transfer(term t); MEXPORT_AUTOMODE void solve_equation(term, int, actualop *, int *); int different_sqrts(term t); int stop_alltoleft(term t);