Jürgen Zimmer - Andreas Franke
This is a collection of functors for the handling and translation of OpenMath formulas in Mozart.
This page is under construction...
This package can be installed by following the usual
configure, build, install procedure, i.e. by executing a the
By default, all files of the package are
installed in the user's ~/.oz directory tree. In
particular, all modules are installed in the user's private cache.