Hi! > 1. relation symbols are binary!!!!
Although I'm just a user, I highly appreciate this from a computational POV. Best, Peter -- Peter Horn, University of Kassel * Computational Mathematics Group * * Heinrich Plett Str. 40, 34132 Kassel * [S] [C] [I] [E] [n] [c] [e] Phone: + 4 9 - 5 6 1 - 8 0 4 - 4 1 9 2 * http://www.symcomp.org Fax: + 4 9 - 5 6 1 - 8 0 4 - 4 6 4 6 * E-Mail: [EMAIL PROTECTED] * * http://kassel.symcomp.org/ * _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
