{- |

This is a hets extension to mmt, see http://trac.kwarc.info/MMT/

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