Michael

> If you want to prepare, the note is at
> https://svn.openmath.org/OpenMath3/doc/blue/noconds/note.pdf

I read this but I am still unsure if this a real issue for OpenMath,
or even needs an extension as opposed to a reinterpretation.

So maybe I share state with James right now:
> I read it, and had some questions which I could't
> articulate very well.

I shall look again.


chris

_______________________________________________
Om3 mailing list
[email protected]
http://openmath.org/mailman/listinfo/om3

Reply via email to