summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/lkproof
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2006-10-11 18:04:15 +0000
committerNorbert Preining <preining@logic.at>2006-10-11 18:04:15 +0000
commitf38ebc89879be11277f031e411e7515bef2bde47 (patch)
tree8784fae4fed99391133d18f5f8f8cb1de3c5d758 /Master/texmf-dist/doc/latex/lkproof
parent4c70bfdd0d0e288cc8e8da5130b5c762a687485e (diff)
update lkproof
git-svn-id: svn://tug.org/texlive/trunk@2303 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/lkproof')
-rw-r--r--Master/texmf-dist/doc/latex/lkproof/proofeg.pdfbin34564 -> 0 bytes
-rw-r--r--Master/texmf-dist/doc/latex/lkproof/proofeg.tex100
2 files changed, 50 insertions, 50 deletions
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
--- a/Master/texmf-dist/doc/latex/lkproof/proofeg.pdf
+++ /dev/null
Binary files 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
}
$$