| Current Path : /usr/home/beeson/MathXpert/ |
| Current File : /usr/home/beeson/MathXpert/dispfunc.h |
void functor_string(unsigned short, int, char *); char * oem_atom_string(term atom); char * atom_string(term atom); unsigned short newfunctor(char *fname, unsigned short arity); unsigned short newatom(char *x); char * functorname(unsigned f); unsigned char SymbolFont(unsigned f);