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: tex

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


  
