{- |
Description :  MMT structuring mechanisms
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

This is a hets extension to mmt, see <https://uniformal.github.io/doc/tutorials/prototyping/>.
This extension is/will be used to pattern check the twelf files for hets.

hets-mmt-standalone.jar  - a standalone package that can be invoked with "java -jar hets-mmt-standalone.jar" command
-}

module MMT where