In OpenMath2 we abstracted from the concrete OCD format to the concept of an abstract CD which alllowed other mechanisms like XHTML+RDFa or MathML or OMDoc. We should probably do the same to the CDGroups now and while we are at it also the CDSig files.
In OpenMath2 we abstracted from the concrete OCD format to the concept of an abstract CD which alllowed other mechanisms like XHTML+RDFa or MathML or OMDoc. We should probably do the same to the CDGroups now and while we are at it also the CDSig files.