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