Class Term, method compareTo: "Compares two terms, returning an integer which is less than zero iff this term belongs after the argument, (...) and greater than zero iff this term belongs after the argument."
two times "after the argument" :) Paul --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
