From f38ebc89879be11277f031e411e7515bef2bde47 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Wed, 11 Oct 2006 18:04:15 +0000 Subject: update lkproof git-svn-id: svn://tug.org/texlive/trunk@2303 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/lkproof/proofeg.pdf | Bin 34564 -> 0 bytes Master/texmf-dist/doc/latex/lkproof/proofeg.tex | 100 +++---- Master/texmf-dist/tex/latex/lkproof/proof.sty | 355 +++++++++++------------- Master/texmf-dist/tpm/lkproof.tpm | 9 +- Master/texmf/lists/lkproof | 1 - 5 files changed, 221 insertions(+), 244 deletions(-) delete mode 100644 Master/texmf-dist/doc/latex/lkproof/proofeg.pdf (limited to 'Master') diff --git a/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf b/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf deleted file mode 100644 index 836c62f2b2e..00000000000 Binary files a/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf and /dev/null differ diff --git a/Master/texmf-dist/doc/latex/lkproof/proofeg.tex b/Master/texmf-dist/doc/latex/lkproof/proofeg.tex index 38d6d74d3a1..98020e82eef 100644 --- a/Master/texmf-dist/doc/latex/lkproof/proofeg.tex +++ b/Master/texmf-dist/doc/latex/lkproof/proofeg.tex @@ -1,10 +1,10 @@ -% proofeg.tex (An example file for proof.sty) +% proofeg.tex (An example file for proof.sty) % -% Mar 6, 1997 -% Makoto Tatsuta +% Mar 6, 1997 +% Makoto Tatsuta % -% I hope you can learn how to use proof figure macros easily -% by these examples. +% I hope you can learn how to use proof figure macros easily +% by these examples. \def\imp{\to} \def\land{\mathbin\&} @@ -23,39 +23,39 @@ \noindent (1) $$ \infer{A}{ - \infer{B}{ - B11\land B12\land B13 - & - B21\land B22\land B23 - } - & - C + \infer{B}{ + B11\land B12\land B13 + & + B21\land B22\land B23 + } + & + C } $$ \noindent (2) $$ \infer{A1\land A2\land A3\land A4\land A5\land A6}{ - \infer{B}{ - B11\land B12\land B13 - & - B21\land B22\land B23 - } - & - C + \infer{B}{ + B11\land B12\land B13 + & + B21\land B22\land B23 + } + & + C } $$ \noindent (3) $$ \infer{A1\land A2\land A3\land A4\land A5\land A6}{ - C - & - \infer{B}{ - B11\land B12\land B13 - & - B21\land B22\land B23 - } + C + & + \infer{B}{ + B11\land B12\land B13 + & + B21\land B22\land B23 + } } $$ @@ -64,26 +64,26 @@ You can use also some variations: \noindent (4) $$ \infer[(1)]{A}{ - \infer*{B}{ - B11\land B12\land B13 - & - B21\land B22\land B23 - } - & - C + \infer*{B}{ + B11\land B12\land B13 + & + B21\land B22\land B23 + } + & + C } $$ \noindent (5) $$ \infer*[(1)]{A1\land A2\land A3\land A4\land A5\land A6}{ - \deduce[{\displaystyle \sum}]{B}{ - B11\land B12\land B13 - & - B21\land B22\land B23 - } - & - \deduce{C}{(2)} + \deduce[{\displaystyle \sum}]{B}{ + B11\land B12\land B13 + & + B21\land B22\land B23 + } + & + \deduce{C}{(2)} } $$ @@ -105,13 +105,13 @@ $$ $$ \infer[(\imp I)]{A \imp B}{ - \infer*{B}{[A]} + \infer*{B}{[A]} } \qquad \infer[(\imp E)]{B}{ - A \imp B - & - A + A \imp B + & + A } $$ @@ -122,9 +122,9 @@ Use \verb|\vcenter| for an equation of proofs. $$ \pi = \vcenter{ \infer{E}{ - A - & - \infer{D}{B & C} + A + & + \infer{D}{B & C} } } $$ @@ -134,9 +134,9 @@ Use \verb|\kern| to adjust the form of a proof. \noindent (9) $$ \infer{E}{ - A - & - \infer{D}{B & C} \kern 0.5cm + A + & + \infer{D}{B & C} \kern 0.5cm } $$ diff --git a/Master/texmf-dist/tex/latex/lkproof/proof.sty b/Master/texmf-dist/tex/latex/lkproof/proof.sty index e32030018a1..c272a8103f1 100644 --- a/Master/texmf-dist/tex/latex/lkproof/proof.sty +++ b/Master/texmf-dist/tex/latex/lkproof/proof.sty @@ -1,8 +1,8 @@ -% proof.sty (Proof Figure Macros) +% 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) +% 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 @@ -14,71 +14,71 @@ % 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}. +% Usage: +% In \documentstyle, specify an optional style `proof', say, +% \documentstyle[proof]{article}. % -% The following macros are available: +% The following macros are available: % -% In all the following macros, all the arguments such as -% and are processed in math mode. +% In all the following macros, all the arguments such as +% and are processed in math mode. % -% \infer -% draws an inference. +% \infer +% draws an inference. % -% Use & in to delimit upper formulae. -% consists more than 0 formulae. +% Use & in to delimit upper formulae. +% consists more than 0 formulae. % -% \infer returns \hbox{ ... } or \vbox{ ... } and -% sets \@LeftOffset and \@RightOffset globally. +% \infer returns \hbox{ ... } or \vbox{ ... } and +% sets \@LeftOffset and \@RightOffset globally. % -% \infer[