texlive-logicproof-10:svn33254.0-66.red80> K KtĉH2!c31^ Wge^support@red-soft.ru  Wg{ф~ݫ 2º/#5 ]Q ԐL7ƴѬv]G!gd2S'"%:)k;I"ӂѺw8S{qo|{*7g1݌maVXm޻惚)~# Ny< ByBbjhD'X+Qrrx<+g343;/Fʹ|s4QLˁaoMDc:dZ024300bee7901d09284febb55365c376ae0ef5018d11cd8dfb05bf737dfb681b081b8c621bd78d173d4f4a9250c90fb5b2019236*U:dh\T`>; Y? Id , 0 a %=CL\ d l |  (<\l  { (89:hGHIXY\]^=bdBeGfLlOthuxv  Ctexlive-logicproofsvn33254.066.red80 Box proofs for propositional and predicate logicA common style of proof used in propositional and predicate logic is Fitch proofs, in which each line of the proof has a statement and a justification, and subproofs within a larger proof have boxes around them. The package provides environments for typesetting such proofs and boxes. It creates proofs in a style similar to that used in "Logic in Computer Science" by Huth and Ryan.eiFbuilder8]redosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤eiQ3eiS,45f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(logicproof.sty)tex-logicprooftexlive-logicproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex(array.sty)tex(ifthen.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.18.0eicN@b|Vladislav Mitin - 10:svn64935-66Alexandr Subbotin - 9:2021-47Ivan Karavaev - 9:2020-48- build for red80- Update to 2021- rebuild for e2k2022202210:svn33254.0-66.red80texlive-logicprooflppl1.3.txtlogicprooflogicproof.sty/usr/share/licenses//usr/share/licenses/texlive-logicproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/logicproof/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redsoft-linux-gnudirectoryASCII textLaTeX document, ASCII textutf-82cbc73b8dd59c636e59be99665a18f120eb1156f6d65b3b9ce22e930cef5d4a23b899ccba0fdbf4f358aa5a6ca7f97e69815988c6ccd3a72423c82aebb6b0faa?P(/hm:( 0lSyIg\rEl8^d^-Lm??3M@Y&4%2SSрLrڌ6( F CQ,Sl(ZUb :ϋMmțϛK'ǖk9ZzQ F#%(6m`bki2_)[^X%ƵMR~(6;/^M4\lP.,0& p@#^T,0Q!!P*PBBB…S\cyF=$z>w@M]Y=\e־ӧDZGpkLJ:uPz<ƉM٩c6(_ƥnTJu1 R7rZ˲gjѣu^(Y )[KE8\ "*ZBHq!pB (& K)hW!JN@*#i &$&]$ &Rbn7ECY6u90PJSR Ju eUL^2Bޢڝv[j*?B/JOa,a љLϝZ.W:x[X^: DG# @ɰP =WCHGgiiʖkgeF+?NʖcT3ڽ3mM^ɵS =M쯴t0e{]ÔKݢ;kFm-6"Pp#+߆ *[~gug垤^ҦJЕ^mN'ЕB ۜӽkwVq #jl kζHDcK5-!mΛ[_HW-EYP׋o4%Z40y sW5cjXjJJwdСPIzPe=U6կl*#-n~QvvZ]3#S#U,׆dO2$XzpQn4ů)O},hTW|h3N?=)J[~%XORF=(~==J! XȶbdKeT Lt?  EQAd̓ۦSky7ϫ?_ҹeK4W(d2TJƦr6'uk/ΥR2hCס:ܛ]N%\;0t}\ fӹT"P*44*.`5]Ms*H+nG"y<\sGoIt"$=W-lڌxTK~0Q 0`h\LШ<S$duG,@@Yt& J"%/}Ѓj>ܭGc9v  BSWִky` 8%I[M&ɗ2*& 1 bI[~R>c^/i'WNn c-PƏf##&TBtL0p;KB@V1!yppp<@b{SˠHLH&$$ ֚HLdXg{1:_lY}ղ٘T kQ Ñ9xxx~cxbtq GtP.U[n(@uf\3"jfrC5 mw}u$ B)`0]RRЉ  S3ӼnArڵrO8z>EJAIc0 <:Gd! Ã(2,A802F^ fcU8k$iAMN2:XBQ^6F mHD:cv* %CxNj]bLy$7bߩ (K]0yiTh69c{2u!qyW\-_ou SW"$L>o?LNf.xc}bqtғo$6hr?S&D; au똸ڀE78Aj7Vw 8K)#謹}8 Ǥ5reDP<3#]-_1}R] ]qS`I~ʥ (_潤;41f G݃jS.wk@p' Of < G!|z-_V~ӵcI[ZCvb {-(G꼠F^#!֭O(l~ oXL2P&0bW;Ϭj5K*ؤ&" d=L2%VmxǍIS{$`!9:P8~D@Xꀚ:<gD֞veUA`gpc5&1oau?c,Fucގ)&I8_bb%4 1ϸ:fĖܡQ~@l=U'h.5&E5G'IK%ۍ +(ڗ47agaU˔'Y݉7>+tG#mtB].sI. KÉG'ēQuD*ݞL\)BވԌő,#k꽵 G멋lv DLۏ\h7@hkQ"I iCML%)gA$Pg~"#A<:_:]v3bG+=rKt;Tr `O~ewb&E G43\F0 sC VН<%4ZK&ijmg2S{H:Gf~ 8VZG?]"qwDﲈ7]r@>\͛W恲S DE*#};mCOr!QE6{ٜL0mr5Z@ZU< q{QI8ʅ9|B s-mQelo\}M 8$'Q#7P~^fGjvqˎr@ Ç3"͒#u4F@A1*7\Fɂ";,,5(l.+Cp "PC\0ّ{PY1l"+"-GJAmʘ7+9Izw#qƝvBT4~Mq+ pzt>򕷩֣^M'V6smЃB+څlͬ{iyrH?z.-!]/ #;$;@{ξ1~&/Z&~e"3,\_ж΍MvЇPy_ Y7E"0pV)M _^ P) $aږ5t]=;]zAϭP]^ qCn*@jշe1Ծ4;&$>б$3ZSgqL֒2w`|\%Ow\M?YGzq2|KGW V2}(&,LYNJ&37K_ѳ̛8OOvmF癅DMqKǁJtڨW£KϖC5N[ lE.R Epu j^;apBCHC-̆A!v :,:#.8((6E~%[a!3 oe]d*iD`s."g`,gK.*S==WTBm 䓭r>AQ:T ;S~x$E45PVty:QML39v1H(KX- ptb2a!wG= O))t{xZu@ēGQ_9㼀 e"iI!{"ax49HF2y(; vlGɻ "1!VDdC Wmf7+9H &Q#|3:0L"L!_rWs*zuNM bmҚ갉;yZ#-+dy/ŷ*i@(B[*|SPj+?}P&\UoA `%ftgY#,l-Yl#_Wj`u[[;67̀gmtOEZ.!̉h3U׶+ Nr/$v́ r|(⋇Iz~p4cH!{[zбus+bWy&*a |3yh=*ZE ~"LHZ $2>sP#]VJua&~AW0J80er#9Y,8C` %uO _BZ].TD` =1)b Ul G׻cż|=^$ 찵9cq, f6S8P*g"BUDž*=ə<:`ysosDG(RI6|rM]\{ܜ7dtEx @ʐ7>H,Nxi#qpuݻ:W=䡬gJ 8Y|)/߫,^"4>Fj|Xy}ifĻOFbť;J=X7>1W~}^ᒞL$üOij$}  [ƮM!vYީ\?prd`ŞqA:lS5\Weܽ3&X>*@6؜W]Kr1Ob~/C͓"I˺|"08&Q%FU:.åq4!ATΌl i@Iљ+QlTeANjh2 y/F&ł. ]QPAS;2e|{`! H0HwwrC:`/AE:*`NH(hӴ-Z-32՞Ɲ&me#<~*L@Д,3de6gxp]Fj;sp3<jG5gzIJD0ssc4n.l. i# k k+c¸h7젥0,Lv Qt6jY=*#Mfɪqc쿢l(5!p45EujlB\vx(3%fnKGݤhq8Tw v`F4QCd) 0/e-+==0~~ pTK+!Яh&r.X_;B(wFD7VaF{c oQ s S;8K`p.7H; *-Bq,@kx+e s|! 'ӐP}6Pؑ : CVR}&o>haWʅ y\x)VoܟH]A߿j$lfZ)P#Y ;LJгoܽ#f- PT X*ͬrXO1=(Y=;;Dч]E7SY<#"Ga]cgq΃7r伹 Y#ōc?_y(~y1