Peter, How does this compare with the existing sharing mechanisms in the binary encoding?
http://www.openmath.org/standard/om20-2004-06-30/omstd20html-3.xml#sec_sharing_references whic was intended to mirror the OMR reference element http://www.openmath.org/standard/om20-2004-06-30/omstd20html-3.xml#sec_sharing_bvars David ________________________________________________________________________ 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. ________________________________________________________________________ _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
