> yes, the latest proposal I made in the note I circulated on sunday > night > (which subsumes all my other proposals, including the early ones that > still are in chapter 4) was to _add_ a content dictionary calculus3 > with > term+variable versions of the symbols and _keeping_ the calculus1 CD.
second! And third ;) 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
