Metamath to OMDoc Bridge

A bridge from based on::Metamath to based on::OMDoc.

This project is deferred and/or cancelled!

Please see mmj2 at the Asteroid Meta for current information about work in progress.
 * on AsteroidMeta