texlive-lkproof-2017.137.3.1svn20021-lp151.7.1 > A \s)ָ/=) .lE-Xp:wZ0C}?gtGH)jZ%PKx#S~ۇMzq{yư)i<`-A =B)&hR]ܭQ霘 BiRJ "/ iik:}ňLT[r:impw8R'#x+fJݰF|pbB,eh>F5rz.s>:"IL[PiBOԭ\C#(dQFy~ hK`1e72e98b73c6010045e34e277f954bcd113ac06c 58b193214ddb9f337544e95f97e29f1f2cc03c20a96a1bb38b366245ce1003f9 P< \s)ָ/= +u)+/`N+ tůޤZP2, 9XMqTU]/s zS(CѶHuUKs
9!iu}<7ESGޝJ&zDD"ת'Ĺm&E4z|{1}i7%Ez3Doa(~{W"5%xu~|.'_Usv M&{_q2^XXA
aEeD$ ` > p D Bx ? Bh d ' 1 H 3 T p v } P T V
X \
8 ( % 8 , i 9 i : i > ? @ ? F ? G ? H ? I ? X ? Y ? \ @ ] @ ^ @ b @: c @ d AI e AN f AQ l AS u Ah v Al z A A A A A B B B B" Bd C texlive-lkproof 2017.137.3.1svn20021 lp151.7.1 LK Proof figure macros The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.
date: 2016-06-24 17:18:15 +0000 \s(cloud115 GopenSUSE Leap 15.1 openSUSE GPL-2.0-or-later https://bugs.opensuse.org Productivity/Publishing/TeX/Base http://www.tug.org/texlive/ linux noarch mkdir -p /var/run/texlive
> /var/run/texlive/run-mktexlsr
> /var/run/texlive/run-update mkdir -p /var/run/texlive
> /var/run/texlive/run-mktexlsr
> /var/run/texlive/run-update
if test $1 = 0; then
exit 0
fi G X8adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971d root root texlive-specs-n-2017-lp151.7.1.src.rpm tex(proof.sty) texlive-lkproof
, /bin/sh /bin/sh /bin/sh coreutils coreutils findutils grep rpmlib(CompressedFileNames) rpmlib(FileDigests) rpmlib(PayloadFilesHavePrefix) rpmlib(PayloadIsXz) sed texlive texlive texlive 3.0.4-1 4.6.0-1 4.0-1 5.2-1 2017 2017 2017 4.14.1 \4[@ZkZyZhu@ZWQZS]@Z YB@Y@Y{'@Yf@YRHYMYK@YJ_YI@YGYC@Y?Y0Y(Y(Y%uY$$@XsX@XGX)@W_@W@W@WgWgWXWV3VxVVV@V@V=@VU.RU-@U/@U/@UUU:UT\@T
T@S{CSE6@S,)RnQRB@R/ RR@R6QQ@QQ5QQ@QR@Q,Q@PtPPy@P>@PkP H@PPO@OG@OO@O@O^@O^@OOOO@O@O@O@O@OỌ@O]@O]@O]@O"O.@OO\@O@Dr. Werner Fink