Document: mathpartir
Title: Mathpartir Manual
Author: Didier Remy
Abstract: This manual describes the mathpartir LaTeX macros and how they can be used to typeset mathematical formulas and inference rules.
Section: Typesetting

Format: HTML
Index: /usr/share/doc/mathpartir/mathpartir.html
Files: /usr/share/doc/mathpartir/mathpartir.html

Format: DVI
Files: /usr/share/doc/texmf/latex/mathpartir/mathpartir.dvi.gz
