From 2fabbabd551479c72c4ec985868cb9da3e473271 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 9 Oct 2006 22:53:22 +0000 Subject: rename proof to lkproof git-svn-id: svn://tug.org/texlive/trunk@2289 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/lkproof/proof.sty | 278 ++++++++++++++++++++++++++ 1 file changed, 278 insertions(+) create mode 100644 Master/texmf-dist/tex/latex/lkproof/proof.sty (limited to 'Master/texmf-dist/tex/latex/lkproof/proof.sty') diff --git a/Master/texmf-dist/tex/latex/lkproof/proof.sty b/Master/texmf-dist/tex/latex/lkproof/proof.sty new file mode 100644 index 00000000000..e32030018a1 --- /dev/null +++ b/Master/texmf-dist/tex/latex/lkproof/proof.sty @@ -0,0 +1,278 @@ +% proof.sty (Proof Figure Macros) +% +% version 3.0 (for both LaTeX 2.09 and LaTeX 2e) +% Mar 6, 1997 +% Copyright (C) 1990 -- 1997, Makoto Tatsuta (tatsuta@kusm.kyoto-u.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[