[om] OpenMath Schema

Michael Kohlhase Michael_Kohlhase at asuka.mt.cs.cmu.edu
Sun Jun 24 14:39:14 CEST 2001

Dear All,

I have a variant of an OpenMath Schema as a part of the OMDoc schema. I
think that I could generate one quite easily. 

Olga, if you are interested, I will do that and subbmit it for review.


om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list