[Om] name of OMS

David Carlisle davidc at nag.co.uk
Fri Aug 1 10:04:15 CEST 2008

>  But <CDDefinition> does not define a CD, but declares a symbol in a
>  CD.

Yes it's best not to "see" the CD prefix on the element names at all,
just thing of them as a pre-namespaces namespace mechanism (rather like
the OM prefix on openmath instance elements). If you read it as CD
Definition then it could be thought to mena definition of a CD, but if
you read it as CD:Definition then it's the Definition element in the CD
Vocabulary which is a better reading.


The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 

More information about the Om mailing list