From 18acfc5469f5ad76b2d87e026f4563f1d4912c4c Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Fri, 5 Oct 2018 14:58:38 +0200 Subject: [PATCH] =?UTF-8?q?Unn=C3=B6tigen=20Punkt=20entfernt?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- merkzettel.pdf | Bin 170180 -> 170113 bytes merkzettel.tex | 1 - 2 files changed, 1 deletion(-) diff --git a/merkzettel.pdf b/merkzettel.pdf index d2c57588dd93016c2b1d896826156a281ffa6ee6..4a415f21af6b764ed3421a959b2a343f653c52c2 100644 GIT binary patch delta 7190 zcmaiYRa6uJx3x2bgoJbq!vF#@bT9pwG)UKgba!`4NC-oB*U$~p%Ju*5 zUH`go_wDR`_C7EB;jFd$Yq7r8V$~FYfqeY%_*=l+#4#`t?2VFP4jPb$?_-WrKv@c? zJQ=A?+CTgO)@cbR`dJ7k_`>`p`;ErP=J9A6w`EGv;$xJ>diKP?-pIE^OUqG>(kF+={gX(987zUTkG$5g*q|Yc{}VBiWsor9 zXSAS4Fn29t$(Hl$v-!|Np}ZJWiQTe%u@VnqA+{#g+{(=wo;*wC@Qc2dF$%-7=>r?n z9+Q-A;f7-Cp>*qe%TNKSJ}gRgR(wW%79k~31Q5F5ZnsEZc)%!=esa|>VD(*Hjd!eD+LM&|2!mz-y0)G+x zY|+;gU2#t#%CHB-#E^r(SJT(B##nJEl)mrCBdkmnfjqv zAyD~!^h@X5j~T(dMFzAQ(6J=mQ%8#T2xX7%DU5`Ez1i#X9Py<8+B=7O0_WpWg zB2rbJ>0Fjs7~&+PulUV1<;eo-kF8@_?xyzxTrcnFs0Q0TL~t}OoBV8ld9UyjmwuA8 zZ~>O~!49A}gI#;1S*rK4swyQTc0RkQkm1V(D_f&Xn549Vq3hd-0->WH-Yr(Y3bJ4Z zmBq~=x%DYvVh7Cp72b!xEwL( z{nF?z^YBzPMHt|?6zZT?Pp5y3G2-zz7^~snk}g!o%vxm0izIB~{)V-kgL<9v?T1n2 zF4z4~@nY-+-Q`SPG+F(fC;19JTF@JQLwl05Sips*G=E#|W}FJi>O{`)jg=7lsXnYN z`tyUtN>{tU{bT*2ckReRgsQKY@Fh^*HF%^D2?EEZ;jfbwNmtBMdJ#;Ca<1- zQK+c{9yknph3^}(f?USK;zL%*t6_9x9R*J%lzPSHf9xfW#KfqD`If%YRT#aLUA!?Z zoP1dy?aC?LV*(A$RA{5R`0>RIm)VO|R)wfY)2TEpkOk6jQ~nV{in}*XxY~>ey;wB3 zCzuh^4Ci_a49rnDC0C&yi#r00YNcnbMk{7IzY(4%)9E^Tm+y38!W=C-69ePQ^4Rk2^K+r7x^^M%LrFI5A{0HW+Jr{pRx$kShsq_p0jOxNiyR&!}oTuR`Ki{QW-Q z8FD1v16ro5NJm^AGOTx*F*BU)mQX8gEGP2FHf8?l$mpqDfyqGrkjLvRIR0Wj8O(Uy z0S*Ia)NX0XHs2ClEy9w;KejN%s==t%M~jh*EOKH(AycY!EMhNwR`Xsbi+?}%Uol^f zZErg_7$H|O%mpDkN`fxs@?HZq(%H_wc;0T-&FZgCqeB=`U-WIk!P%j$Nq-R);u@VF ztc8Pezw*n83@9cQ&mXvGNmRhsRlMB8G&HK!s&lXSDzOeu`gv=E1D`)6dPRWX-iHna4NTlZTispq&ewih(PPAl*UVo$yqre6h zHXTeIu7a}dIllBnSnQTaZp(kBi!thAs+#Ov!}PFh?3-CYLxkDnp_nr%2K(Fl5P-ce z2h22Iw2DvwzDm_N)_?>#vkIscF*UZjY2yZU;~({gvZuLk!aF_8bJe&rH`f_NCed>1 z_IVZpUZBZ_X1scqB&sM@L5Coo(Q3{0r4u(yxqT?c9WDqy+-Dn2D^ zo&tnq(#AAU4wl?U5pPSx5RsHr6Q@RA6S@Em&I;kk|1l-`w*Onxt=Hz-A z-H`Ep8l{qOuP`@G`pqa+OvM`g?a zC2t`W<$%$G36$hYj)|A4Kb+@;UIWE)C`E(3&cIs_&mND?WF+p1dV6(5elC zPUt$vqr=p4P*e-w!$lCiEM>Ga=h8qG;^D$zDzqSzV5y{_tK?oRG+u9oO+}r!nAgum zfm$XMCyx00KTxz5il+b!gEC(g7vu9Io<^vE zb6wu<{B^w1dwN`NSxFpRuePDVL*H{#5hFK79F{L?zRx=v?(-JvO3RqjK*d(+C>swA zTD{=EDD4gYP*t64-cUw8y$5bltjTD4KNB5LxNu7?7T9D=lVg_rKmloKBaarV&UIBJ z4}=}+coQnXHP+}Z8A!}O>iH7gf~0>Lv{;d4fSIY1?Vm0x{2j-FH!p+1+nE|4A2r=CFyH!I(!?(1 zSYyrQ%1d_0ewPaEoeKyPf#5{8?xwmd`NFdL=%_W?#(Znsyg10S!L!^Kn2)Q=q?av! z`3SN9IG|Oi8TKDuLx#Rve;RF)+songtLCG1`}jNhHa(7Z`8t0&yqvGiA+Cd;Myu^i z81fh~!IZ1oi-yEFup`Ez?@)ag)sABn;k*Oofpb7jJyhiMrbCjn@B))&DW%G!mtY%j z?!+EqqUG%NDU)t-Qjy9la>C++vx0Pb1hC)U|wtAS_I>8Baiyvu`+*LW#jGup7U5jP^z?3@Rc1h67tg& z?qsaU6lkZ3*_ZIq@ZKr<(^U;D`(va#HCo{$EeC4`m0wXh{bW@WPlXl5CEYP=yi21{ zFi2UI{Q7CI**<;4O%Q{odc4~}WlW{NIE2l)`mc~kC0_Q)rQvL`Zfn=`$|LM^{+Yh7 z^@i4@pUwJK74^v)>tK3ROVF&}Jj=5Cg-k_y>~9@~#S`Yr!V^IU!l5hAL0YO$#(f5C z0#O4Y{soMLe*&PDCO^WW(o_V|*O3{PfzrN_0SOTl-};XL1SR;ir5ijq{RlrPS(?Mi zKH-WO-A%XsX^n4zgf569N=!?k_^aI3tPev;B1P|gf00+~s(-?q*-Oz<$h?e_zR!C` z>UFhcFwaj^xHn*HUisVJXf1`@Z?d5^5T78(ia2x;YwC+O6MB1d8VjnELi-0b6pvi! z^DMoPiESE?&x&iDMT?Def(m>s49EdvuCayfKoFlIF2kbe$K5v1bQ52E58o=_pav~+ zpx1f6u*VSnzRmeAkqjd!#m#+xjWri1wO0uwy0(QGs#LKs@oLU$=(@JdYQW;6JJ?ya>fiGr zr5ID7htFtMTl;169VBh!{w4Cc)PhuWe%^J7vLy#>BAydCG71R3KkV~sBqn2VmIpnq z@R|r935)o}kxG|8Q4rM( z38F#2-x5KScJ}o_H}o3nwJK3B29c4!s2YW?VWZ*{YQa$v@>)WD#F$al#LMmMavw^Ta#}Us zj!G4kI}>c`jVH58F?cvHvR*5FaM#Xd6r?W=!M+4l+qF6p~Cf0+x)BPZAR?PK#r?yD(ha!rn{6W@%tIVt(bhI>-ymDV^;9Zo?TvTi)dby*rOSQ_ji^U8>G zx2D-Qo#a|XN6h36+to8mkGHk>RjMV>Z#nZ-=9S&M8c=Z7qmDP~cVX1Tqv|3>*eEma zAZUw**WTt1nT+Eww!i;ww<995%b^n5E#Q=K4##SaO|k4B$oo0>GhW%if@IzcZCns3 z`1v3?$l@drYMd_obp)SEgA^pVeoiKsdX;*%>e_W!mi+ufzGpY?_LZJ8u$GC8*iR{| z-Md#KYfMqe9z>-lSS$&j*3T1#i$wu(VK!;ut{#Zaw*nwOj3$;ClPYcx>&t z3H?SZ-1Kt6KNn+^xCVp<(+R;pmn>LXklQ5uM(MFy$r=i^#M#?v!g;oR_fGnP-kuvR zPotTdB266F&6l<#ixo01M_Hmst#3lH40}Pl=vfZ~yHMgCZ3o+X^mM<9vJ`$X7%86J z0btcgR5bHdwdJCuERmrvCuLM5GmCQLU)^FH`a_MyYqzs2L6>_Nn^Jho|q@jh~` zIY3f^ow!b`R7J}w=+r5ikB{gVnHJQAi#%g4|6#<|!_$9lYS=b^dT_p*s>2gI)2LIo zIB_yM7D@@*pmTx8g5z!Kj3laOk7|8sZ+A3W*^PhAU%vZGgNKY4NpV2JeC{RulTZZ7 z42@syM2M7HqIf}72H|iNFNX2M*JC#F^~O7`BGeO4_XXh5!-$SJsrzEk@Z`qjjxB^8 znG71S@iJ5i-RAZZO@a+aWc)ff2YoA|+ju{=W9vxgu)}|E__x~Jv^hFt{psd(v3}du zv~!@>+TQd8mJrgZZ?g%r4NQ?Vr3`V;7XN!P3}z-e3kSwnYyDyA?-$1B9@0&H%o4%5 zHJaPAW1Z&vc-raJ{Cw(R<<-K*X3Kl~F&UhPq+RlBlNwx=HV{c1CtDgvV&4nr?GSJ6 zh=&tJCejU@)%pf`dJRrG_oi))d&{(%`HRqygM{-hX1M}Ge;2^AaEm_=b=#xU>A{52 zbWJANjYAWjyXG!OC|JU%;TAYV`#&k}vUb_0Fe z%V+Tgd*!E>J{=WhjfE}@8}o1L;e;xRh!0DtZZ|NSF zS!GC(W1>v02}<(P0q-WOn>N1!)0dllPpiZ~QZ3NfhG^>EJ+nz+{8`Z3>*)?(h>EJx zL8F&eg0W4dLyBE!wLpop(2Q-(2(WkI_k;L6y1;oJYnmMfN~Y^KdmS)xu21MK9$Cjw z<;>$|P2K6-5aPBj=I8$u6S+Pa*2tb3lqYfRW(+LSU+tUnanqw}r?5o0Q2C7ZO$r`EJwY+@)KK}iNceYS_p<4}Z-@TZ!O? zoCimI3RY$3HtXhwQYqr732ZY(OtzXadY8mt+PB)%u-hE24VG(|DOyiBA2EOI8+Mg3 zI|!o^y?0j4>ZHsR>+Z1A30#y(q-au2EAsI(>*Wib!) zA?x%*nNIfOUz&(y4OvGyJfRG!Iwo#d)E#mUL7d#=={(+7-FY^TW49Mu``oX_G}FNh zDPksh)UnkM9Ll$67yHQ?}5S&P;zRA59UTp2_&6t)J$4 zHy?TwR=*fqkQB-sJ@JnfIMd#baqJ9iRz=s>6%t*WVxGcY)bOTz41GwTGUm_y4AUa>o=PDu5GC znFx$TMI8Z1t;<}X%|9-q-ppWRvhYq#LOb)>~QE{D*$6p~@ErM;fD4hq!iORZ4w5ph7Bi)maPft$L~yR4&SW)UVI8!S zoH$XY)nDOh#oZ9XO;UhF04}&&3Xm4YZHUFL@x|L5!pY5z#jXR<=Y()WIRBCA4i2vW zNDc@GL>-G=-rmCDAL9HU^d6!wA|u5mDIm=)$j2op!zsbTDagae!yzHT&mqmj$0@-r zAO`urC5AZvD{PMc37dXORzb>?D0I`MiordI^ZYUu@K|c*g+xL2(>}2djfnKB=O%LjPK}^W()p zsIhYJp}D&Bj-U1va)^FGULaKgjjDy}qz!$uswj4<#RLy91yP=N_!POA-)T@;C$QA^ z136r!@UA7P-{(-Ho8X6`)iBJ_KZ4KxdyY@76{Y;y? zY*MLQZ?@c3plO={S ydnWUbDqOzx)v&o7+m%yV?2*+MGbb86JrxMS~pyG!uklEK}ByHD^CG%!ejAR)L6J~+XHTPC=>!(bsmxcS~W z_tmR89zC1^Z1Mr3+%GL&T1< zMMs2)O<35=z=~}vJLvYMw|tK}&2fDyk7SuWdE3ZsCa#n)>nTP4*5Nb=iL-Y)IF9Zj zsgR)}wCBMu&s#DF+JA0F>=2aZ!q7HO5t?DlME0>f^vSz>u{NN`!(;vmj!sIVLSZAc zp4>(q_M(65hiqK`&qx1Q&k@`nsN-VJ&?4E);D=QgFoj@0b-gF6Ws|vxt>KvQhnMk# zQS1THg1UBY^*O!IQg;2bOmvXa{e+3Fp*ROv9>s%*b}4#&L+F-f_t!IQ#=cKBBj~$Q z4p>!Wc_Sd{v8;muB1b19>sOWNTXu~~W%a9Eg^{+POmiKY^?LsWddZ(rrPzke_&t+# zH#4u^g1b%ZpWAWj$ULV;!{sa;3AM7u+Mb!bh?HzGBXkMVAAz|ZL+o=7O-VN7?pv<* zJY)%jM1`UyT`ddf0dJi>TnDjB8jKLu^($K5uU|y?(QM%H?M9o{JH~QG_ViC=(omm?(ANs+n_5z|&uqFjJoy~h z62#;H)fg8qlAqb$A2lk1ORK$Bor%aLpPoK2s**Sw&OzVMCF%PD=$f)^wr~>gJjQ$>*tqzbpc|6I()|otHDo)>$4L3-4VZ4 z17{jO=oSv3#vVS9VYxLr$}La6Ln&eYS^*XWu8?gTBrAwc|0xg{jY)J$;bQo3pe0~U z{!6+hbRE@i&In(uuKDJ1(4U9v^9Zk^-t znQ!_Z#pg z6;TSgZ}BlLfkNFuJH|vF{(<|{naNU)-EWJHZfV*3s{v9mO{2afly62T>a3#&JBYoV z)sUR=i)~Iz`AHVK{@Gl`NSCf=d&KQdTqs`^jQecvv#N7c_!;5n@;fVQ^EaDJ7PjHv zXbfznXv%2N=xdybtC*Srp;oU^IUm65+j&;@@w1j+q9|t`Y{d3Hbri*{Q1cp5b$)#; z$6OrRk9&&z=@Tj*?0Su=V$@8K?0w>{CWzLUoA4;?}Pd z^21`9j-~~lrX~IIcH1C;8cPWGZO?mP$bhl&zIBJn@DD4SyEJ2x;T15_Byg7-Q#ox5xI-TeIh^3mbK?SC^@!McH7DsYs}3+0zn{h1rt0-t{f) zp2~f9^DW9DG`@2vRv(-vd*U{G?CjKsJ+@XE4Fb0BlE3G%h~T2k`s2ST(Nq5v6x@}! zKmX0@en|-u3$VU_X=I@eH8uExfE7M@bhkanVxtc;$XM)$oqO2F7BP(zR6tw}4_4SWiyEx0tZZ2t0Z>(!JSDT^J$ zgB6q&pj7D}$!9D9i)}NDZSF5Z8arHx8; zaU%F|?{kBP0G_wqTtd#Jf{%pw+P?DT)xnw~K)HyvHErba-7k#c!bom^2v-pPnmG3E zc0Rt|_SSCyK^`_PI3oN&KHz_VloSrHhP``wJ^-UpmPH2>S)?(Q+ZrEPAglfpGHD~a zEh*2C;yH_TNZ z`3w6$c2XEa7;^FpWHH#^TET)S{Qp>CaudkE*#F%brg4WH`{KXNd!#7$EdOo3l0YdD z`ge0!wFinb7K*^X6*vM>h;az`{!dGezD__P0Rg^rc@{Qsm#L{fZ5v7W9dvrTw8bXr zOb=e6Pp+WaK;*!2VU;TkX~`a(}ab{Bz;wLUtm3vtfPqOjA32)zVU^zNS2y zQaPRplB{5;fF7DSt&VFSit_K{P-{>d^`8fV4#FtwKW2Mx^ zwbW8tL$Ugm7kK+@>Qa&xyrMx|{z#eKC_PwVsP9SIuygtedtaraWn$zG{wcIQU^b~7 z(FMkUi42he63*V#?}aABLcd2`05my&l`vQ$^t%%xYJa_2i}tyUZ!aTzQ;x;TsZ^*x zH1|G*UjH3lw$B1JkJO3!j)av*jsr==$8UPX22w>sq?Bgg=%u%us!>epro|$0Yw?}c zY&71TJI%8Yn|^N~FZ#ekc299l5sDTQX)nVx4qn;`e*T@6s-hr6N0$<_LS7)nu&?vI zYxAV>*ImzLD{D%R<-7s_Z}K=lRH8cv4r;7;uQ;C`cjFr>C|*kG z*}&#{VVH19o#0hMxs?=lH}xQqlU3Os znYr0$Qf@`0MfJMA(XJ&L2z@wNKDnQ9<*SO>iqBs`MMLX#;6)YKj*(wC(_iwr3Q`Gl z-+S5H-Ig4^xtB9*<}<Cl!boj#$ln7nQ!Pb> zY3{m(e-|Y0H`Kz+^t0O&mrEqiz;FF~T>L%g9Q@~3Pu!*Z4B*-<{`4hM`DUzoRYXZF ze)Ph>azj~bhnB;!R$EPciAVkD;TuPPl_i5Gt3RJ|^tYfI$o4L5UdAF6=*cfXOGs|| ziDS`2r+Un^C$$I4VtBk^eHp>)TLSU7`;QqZFQ>ktXW+t*bPiCyXh5`}_Y^YHdO&iUzT|E7fU z?^{8ZCFa?51VV*1P98&iF}*IgnWGj_lM(?HeX$>Y%4^5L7qa*R9f&bfY2Ht6hbrW3 zzT@mv%bJWs;RC;|bA29>&lx7!C8U0xpWC-y&w?yOJg8Oh+VOT&gcr2* z3BERVHA@-!=tC|_=N!u*bLDcA%e2!>KdaIH(?*}5u}_hKLFeLoh(OK?g4&|2p7$t> z;GWW`eIb1gg)grL`c3ub}0O_xjF-cuaB(R6usQPmnoW4>D|&1S-4%q~*C} zm|UF}f5KMNzPSCCBAH3$ng9h$V`fpS$Yf2yoIKzLMZ(=W&p$j=CZp>%P8a22-m`ApeI^J;dfDSZgf&{7!`^h zlcXYn5$@|?8PJ#UeHozM7cDaehEc8zt)JLo<{L}^GnY|-ar(&_qpsZ;%Pkt%c)$zg z`tb)$DtEZVkjr+;c{B*(pE`=?V+S$0ZA@y?r&ZWi>Az@^Q!2f>rsK*39)kJVMi!mK z>+rTGeQ*qf&e;vvMtU71!bTtlC!~zuyxP8atJDyL62A57o!ZPc+F#*nt$bPcc7Bn= z{+pvk(D<5=_?r8r_@$+?>d0sCnSP15IQv;FP9PU@<{%eTy>gbiR@LgUdSNY0-b4Y8 zG4WZ!8X#bvk&ZPLTtj%>bNt)T6#u7^vxBW|(mDGFI?=%xL`lS^tCNWV65 zHL5oQuj)e^ufA0FG7n5~G?jtB1|)HsBdXHPFP7Y11-Y`T@XM*-qrpJOKBd zTaa&F;VU$suc%mvA6+}gk0FLSwfm7ef}B)M8TYL)ZZH%%t( za=g3Ea`&6(U#!O;s~drJTEu8wx*8G^?L8$&*X}F!F%~iOR=pP;)g}CAI&41<=MhJN z62(ur>ECtgO5+<^31_A+v8 z2`*D5t>DBIw>!sR_?He;EMwf@5hO15A?nGt?U%%nb>ECnK0(V};qRykuH!)e) zw@~A{-?tAY&F{T6+=b}54(r#x<- zvNfrjRSi!%r21fUY|%DfD7OIcK=()BSSW!zjQSfh3%7`;mu z%8IC1$(Y*74`sF-L%olaf~X*jx--sq!I<~D1Upu~Vf?AAh_CthI~7tdEiDLkK1o%n zv_hFD!awdKLglXZ(}Ve{SP=>Yy9M4%Dp6zUjS-y?kT(}}*H4-{d1~iI=MOWhH%D2& z4_8j|J5urV#@?jPkLx=D_dS_0Pa+iISIZsyQz?xxHyF58Z86QyY81Eb#W9W8U=y4{ zH?pOm%NABoE(AN4a1R=B%Vq5@g`ud_JCa1$=?X>IRr3=6v z2hVh3^-W1!c^g(h!I_S?BQe#~uFudd?!DfhWWGg}!bi*^g$VBfB$-SPBEEAmGc7U0 zN8>3r<8de}Q&g0rP`63!bY1=r@Z2VZ>wbR1is{&+Ob%D$_wJYuq6gaiD3E43Bua`? zAM7pODj`X&No+~E4&^=KqUjTforcC`u-dUuIjypp8YV=+Fgti}N7!f? z*2j;-J{A;%hP4Tb=4NL0WSF@Ge7{6(y$qgl%aR#{d}s>{ z!Ok1LL(cjpns#K)snO#JHb^E)P(tGA_jq;i#5S7KIy%#&_h|6xwU>#l34969YC(T@2I4NCUwW6*3lI84m<2O_?zI#6L;F*VdWwfabg+2O`$N8s z*wd9aQY9(Z6pJLaMrN3C_vkgNXx)v5%^#AGtef4NlLrV(H-6bQ*gTHj+ik95XF#&E zZ?{Qi_iJE~U=BW1Wqp^NgJ#0cdHeWxrFA0P@WkT9wL>(w#u0Dv@8#>gXvJ}N7SQ*a z;?A;MPMi0aoC}1?+{2YMquUAVcNXD+!^x`kNo%4gA{`Q13OWIm!$fE|0z=uTY? zu;~9R%)-3!o777benPDnxXG6ScepnCd2d-zvOWqTA0fsYPe7I=hFw5#Ybl@@d;0@VrTB6XD1)BH-RkWIzNavi! zK=bH9G0@E#7iwuP`{59(uCRB;8DXMJskan;bJB%tGHlhO7O!%XVq8HBD{j2OT?Llp z1!uQG)^}f9vU-*-YgIvS-!Ef{^>kfi)Vdnp21jxVYM41>`x0hB!9r?P4fDwRCLbuB zdg9<9lPtr{P4}j(`%^$A^v#pu;oEnDEvZ_fJ{{|flOWFP51w7IFdYn2BMIrXSIVXhP!r0$D@pD0Kgz!*rB-Dt>+(US(%*A77xD`2UkQ{EZ?Y zDD2?Rkg?YTd_+U%Pn>&B=&;XHIT&{G*9MDBs_CU3mqpeK!mhU4KP48c`n9@{7ih)*#)3U|2jX0!K zwI-+1Pr6MyV%M~4O=0=u?9|FNtcWGK1UYclw7@ilNl;hS8}}jhMY#`4k(t1(5)*~@XQ4{2);1ZYy+2O8JCcUf%lYlt|b6^TiF{d>Rgk7?*~b?HW6Um ztw$w!Ahoon>#Q|Gh@XYkCIC-sz$rWT{S2Q7@f1mhk`&T4?=I8Hh8(1)(8gv~V`*V} z2;k;^6tGi&F`P}9bcx*Au@^2J*PO^{=9c9+<#w~E<#~&K0-pI=0KQ|re|`9EV^sLN zE%@PKW9)8H*Wb7qKJ1@im(uEse=pJUyQpEE;2GimaMmzCBpupJcQYicc3bC@n-C_f z*L6i0C2z?8Kb^QpmPF>?JB+9~4zIp*usx7pP!xw31T^Ib3Ih56ih3R%zJEobzX6&a z4zHTKgU4Sc{4Y}kno21MD+|gCD)YS(Qx;GXkr#O-&-Y4PL{wbym9mJkxPXuh@PA)o zj`x2jN>K1`&i0>)VxENwC|Xm+UEWC}a1t_nCOP->d`!fLarq2BXm6tkB~k|z8d6af z>N%~v!{syaJ-KoTzskFq5FfNu+?gkhcZsENLf1VPV1p=he)x4d8-=wHtNA{fZ6OZd zDCXrtq?1^*-}?xo_ff(Zy~JohdFG#stfchVw^r2ty@VsFV3dkfd}oe|DSwfd1VB^) zdR%p&O3B9P+E|R#_c#=`Xa=@e95%xWs(Mm;9Rf|A3X)D3rlAhLunw*tQFO4=J7uE? z5vMqUgJ_);HkHK)Z`01d-Sjv-a0y$4UZmO?tp(CoiBq! zjt~{_rXwZ25_sa#Y686a==gb29Dbe(?+lJ0tU|wO2Uk%>wmA zA69%cM){eBQ(s(pjStt84FCOp@^tOL|IsmtQ_v-yE<5%@5IM^z8wH3hCW6DvtfZ}s F^ItxU|A_zq diff --git a/merkzettel.tex b/merkzettel.tex index 7d013ba..a976ccf 100644 --- a/merkzettel.tex +++ b/merkzettel.tex @@ -201,7 +201,6 @@ f_1 \times f_2 &= \langle f_1 \circ\pi_1, f_2\circ\pi_2\rangle\\ \end{align*} \item Wenn $R$ eine Bisimulation ist, gilt $sRt \Rightarrow s=t$ \satz{4.40}{74} \end{itemize} -\subsection*{Kodatentypen mit Alternativen} \section*{System F} \subsection*{Curry} \begin{itemize}