modules.sty: An Infrastructure for Semantic Macros and Module Scoping

The modules package supplies an infrastructure that allows mark up semantic macros 
and to reuse them efficiently in multiple environments.

This packge is a central part of the sTeX collection, a version of TeX/LaTeX that allows
to markup TeX/LaTeX documents semantically without leaving the document format,
essentially turning it into a document format for mathematical knowledge management
(MKM).

This package supplies a definition mechanism for semantic macros and a non-standard
scoping construct for them, which is oriented at the semantic depency relation rather
than the document structure. This structure can be used by MKM systems for
added-value services, either directly from the sTeX sources, or after translation.

Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)

See http://trac.kwarc.info/sTeX for the project homepage, the development version
of this package can be found at 
https://svn.kwarc.info/repos/stex/trunk/sty/stex/modules