This is a hets extension to mmt, see http:/trac.kwarc.infoMMT/ 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