doc-src/proof.sty
 author berghofe Fri May 02 16:18:11 1997 +0200 (1997-05-02) changeset 3095 20251c80be78 child 3126 feb7a5d01c1e permissions -rw-r--r--
Version of the proof macros for LaTeX 2e
 berghofe@3095  1 % proof.sty (Proof Figure Macros)  berghofe@3095  2 %  berghofe@3095  3 % version 1.0  berghofe@3095  4 % October 13, 1990  berghofe@3095  5 % Copyright (C) 1990 Makoto Tatsuta (tatsuta@riec.tohoku.ac.jp)  berghofe@3095  6 %  berghofe@3095  7 % This program is free software; you can redistribute it or modify  berghofe@3095  8 % it under the terms of the GNU General Public License as published by  berghofe@3095  9 % the Free Software Foundation; either versions 1, or (at your option)  berghofe@3095  10 % any later version.  berghofe@3095  11 %  berghofe@3095  12 % This program is distributed in the hope that it will be useful  berghofe@3095  13 % but WITHOUT ANY WARRANTY; without even the implied warranty of  berghofe@3095  14 % MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the  berghofe@3095  15 % GNU General Public License for more details.  berghofe@3095  16 %  berghofe@3095  17 % Usage:  berghofe@3095  18 % In \documentstyle, specify an optional style proof', say,  berghofe@3095  19 % \documentstyle[proof]{article}.  berghofe@3095  20 %  berghofe@3095  21 % The following macros are available:  berghofe@3095  22 %  berghofe@3095  23 % In all the following macros, all the arguments such as  berghofe@3095  24 % and are processed in math mode.  berghofe@3095  25 %  berghofe@3095  26 % \infer  berghofe@3095  27 % draws an inference.  berghofe@3095  28 %  berghofe@3095  29 % Use & in to delimit upper formulae.  berghofe@3095  30 % consists more than 0 formulae.  berghofe@3095  31 %  berghofe@3095  32 % \infer returns \hbox{ ... } or \vbox{ ... } and  berghofe@3095  33 % sets \@LeftOffset and \@RightOffset globally.  berghofe@3095  34 %  berghofe@3095  35 % \infer[