[Om] Binary Encoding in org.symcomp.openmath

[David Carlisle]

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. 
________________________________________________________________________