| Current Path : /usr/home/beeson/Otter-Lambda/otter2/ |
| Current File : /usr/home/beeson/Otter-Lambda/otter2/mathpertlink.h |
int init_doc_data(int kind, PDOCDATA pdata); void activate( PDOCDATA pdoc); #define _epsilon_delta 200 #define CM_TRACE 22330 #define EPSILON_DELTA 428 /* totally arbitrary */ int mparse(term *t, char *in, char **rest); void release_doc_data(PDOCDATA pdata);