| Current Path : /usr/home/beeson/Otter-Lambda/yyy/ |
| Current File : /usr/home/beeson/Otter-Lambda/yyy/extrema.h |
MEXPORT_PROVER int extrema(term u,term x, term a, term b, term *min, term *max); MEXPORT_PROVER int monotone(term u, term x, term a, term b);