sproof.sty: An Infrastructure for Structural Markup for Proofs

This package supplies macros and environment that allow to annotate the structure of
mathematical proofs. This structure can be used by MKM systems for added-value services,
either directly from the sTeX sources, or after translation via the LaTeXML system.

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/sproof