Title of Package

Jürgen Zimmer - Andreas Franke

provides

requires

Purpose

This is a collection of functors for the handling and translation of OpenMath formulas in Mozart.

This page is under construction...

Installation

This package can be installed by following the usual configure, build, install procedure, i.e. by executing a the shell: ./configure make install 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.

Example