# calvis/IF

Fetching contributors…
Cannot retrieve contributors at this time
260 lines (235 sloc) 7.07 KB
 % proof.sty (Proof Figure Macros) % % version 3.1 (for both LaTeX 2.09 and LaTeX 2e) % Nov 24, 2005 % Copyright (C) 1990 -- 2005, Makoto Tatsuta (tatsuta@nii.ac.jp) % % This program is free software; you can redistribute it or modify % it under the terms of the GNU General Public License as published by % the Free Software Foundation; either versions 1, or (at your option) % any later version. % % This program is distributed in the hope that it will be useful % but WITHOUT ANY WARRANTY; without even the implied warranty of % MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the % GNU General Public License for more details. % % Usage: % In \documentstyle, specify an optional style `proof', say, % \documentstyle[proof]{article}. % % The following macros are available: % % In all the following macros, all the arguments such as % and are processed in math mode. % % \infer % draws an inference. % % Use & in to delimit upper formulae. % consists more than 0 formulae. % % \infer returns \hbox{ ... } or \vbox{ ... } and % sets \@LeftOffset and \@RightOffset globally. % % \infer[