# LaTeX2HTML 0.6.4 (Tues Aug 30 1994)
# Associate image original text (scrambled) with physical files.

$key = q/{tabular}l|l|lX;html_special_mark_amp;X$_1$;html_special_mark_amp;X$_2$hline$0negmboxB$;html_special_mark_amp;1B$1negmboxB$;html_special_mark_amp;0B$1(mboxBwedgemboxC)$;html_special_mark_amp;1B;html_special_mark_amp;1C$0(mboxBveemboxC)$;html_special_mark_amp;0B;html_special_mark_amp;0C$0(mboxBrightarrowmboxC)$;html_special_mark_amp;1B;html_special_mark_amp;0C{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular368.gif">'; 
$key = q/{tabular}lp10cm$backslashbackslash$;html_special_mark_amp;Backslash$backslash$';html_special_mark_amp;Apostroph$backslash$n;html_special_mark_amp;neueZeile$backslash$boder$backslash$BS;html_special_mark_amp;Backspace$backslash$del;html_special_mark_amp;Delete$backslash$toder$backslash$HT;html_special_mark_amp;Tabulator$backslash$aoder$backslash$BEL;html_special_mark_amp;Bell$backslash$foder$backslash$FF;html_special_mark_amp;Formfeed$backslash$nummer;html_special_mark_amp;ZeichenmitASCII-Wertnummer$backslash$onummer;html_special_mark_amp;ZeichenmitASCII-Wertnummer(oktaleDarstellung)$backslash$xnummer;html_special_mark_amp;ZeichenmitASCII-Wertnummer(hexadezimaleDarstellung){tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular77.gif">'; 
$key = q/{}$vee${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap772.gif">'; 
$key = q/{}$0(mboxBwedgemboxC),1(mboxBveemboxC),1(mboxBrightarrowmboxC)${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap790.gif">'; 
$key = q/{}$(AotimesB)inFor_S${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap700.gif">'; 
$key = q/{}$inFor_S${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap776.gif">'; 
$key = q/{tabular}lp9cminfixlitvrrgop;html_special_mark_amp;OperatoritopistlinksassoziativundhatVorrangitvrrginfixritvrrgop;html_special_mark_amp;OperatoritopistrechtsassoziativundhatVorrangitvrrginfixitvrrgop;html_special_mark_amp;Operatoritopistnicht-assoziativundhatVorrangitvrrg{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular47.gif">'; 
$key = q/{}$0negmboxB,1negmboxB,1(mboxBwedgemboxC),0(mboxBveemboxC),0(mboxBrightarrowmboxC)${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap786.gif">'; 
$key = q/{}$0p,1p${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap780.gif">'; 
$key = q/{tabular}|l|l|hlineSonderzeichen;html_special_mark_amp;textuelleDarstellunghlinehline$neg$;html_special_mark_amp;$backslash$neghline$rightarrow$;html_special_mark_amp;$backslash$rightarrowhline$vee$;html_special_mark_amp;$backslash$veehline$wedge$;html_special_mark_amp;$backslash$wedgehline$leftrightarrow$;html_special_mark_amp;$backslash$leftrightarrowhline{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular323.gif">'; 
$key = q/{}$subseteqFor_S${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap692.gif">'; 
$key = q/{tabular}lp10cm_;html_special_mark_amp;Wildcard,stimmt(wieeineVariable)mitjedemWert"ubereinotherwise;html_special_mark_amp;"aquivalentmit_(x,y);html_special_mark_amp;Tupel,stimmt"ubereinmiteinemPaar;aufdesersteElementdesPaareskannmitderVariablenx,aufdaszweitemityzugegriffenwerden$[$x];html_special_mark_amp;bezeichneteineListemitgenaueinemElement,aufdasmitderVariablenxzugegriffenwerdenkann$[$_,2,_];html_special_mark_amp;bezeichneteineListemitgenau3Elementen,wobeidaszweiteElementgleich2seinmu3$[$,];html_special_mark_amp;bezeichnetdieleereListe(x:xs);html_special_mark_amp;bezeichneteinenichtleereListemitheadxundtailxs(x:y:ys);html_special_mark_amp;bezeichneteineListemitmindestenszweiElementenp@(x,y);html_special_mark_amp;bezeichneteinPaar;gestattetzus"atzlichdenZugriffaufdasgesamtePaarmitdemNamenp(undnichtnuraufdieeinzelnenElementemitxundy)(m+1);html_special_mark_amp;bezeichneteinenInteger-Wert,dergr"o3erodergleich1ist{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular111.gif">'; 
$key = q/{}$a1ldotsan${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap608.gif">'; 
$key = q/{}$beta${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap798.gif">'; 
$key = q/{}$epsilon${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap778.gif">'; 
$key = q/{}$req_i${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap662.gif">'; 
$key = q/{tabular}l|l|lX;html_special_mark_amp;X$_1$;html_special_mark_amp;X$_2$hline$0(mboxBwedgemboxC)$;html_special_mark_amp;0B;html_special_mark_amp;0C$1(mboxBveemboxC)$;html_special_mark_amp;1B;html_special_mark_amp;1C$1(mboxBrightarrowmboxC)$;html_special_mark_amp;0B;html_special_mark_amp;1C{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular380.gif">'; 
$key = q/{}$backslash${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap574.gif">'; 
$key = q/{}$[res_1,res_2,res_3,...]${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap860.gif">'; 
$key = q/{}$_1,dots,${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap824.gif">'; 
$key = q/{}LaTeX{}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap748.gif">'; 
$key = q/{}$f_1${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap874.gif">'; 
$key = q/{}$otimesin{rightarrow,vee,wedge,leftrightarrow}${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap702.gif">'; 
$key = q/{}$in:For_S${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap850.gif">'; 
$key = q/{displaymath}neg((A_1wedgedotswedgeA_n)veedotsvee(Z_1wedgedotswedgeZ_m))=((negA_1veedotsveenegA_n)wedgedotswedge(negZ_1veedotsveenegZ_m){displaymath}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_displaymath728.gif">'; 
$key = q/{}$nge0${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap606.gif">'; 
$key = q/{tabular}lp10cmBool;html_special_mark_amp;EinAusdruckvomTypBoolhatdenWertTrueoderFalseInt;html_special_mark_amp;EineganzeZahlFloat;html_special_mark_amp;EineGleitkomma-ZahlChar;html_special_mark_amp;EinZeichen$[$ldots$]$;html_special_mark_amp;EineListe;[Int]stehtf"ureineListeganzerZahlen;[Char]f"ureineZeichenkette(ldots,ldots);html_special_mark_amp;Tupel;(Int,Int)stehtf"ureinPaarausganzenZahlen;(Int,[Char],Bool)stehtf"ureinTripelbestehauseinerganzenZahl,einemStringundeinemBoole'schenWert;(5,~``Gofer``,~True)::(Int,~[Char],~Bool){tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular69.gif">'; 
$key = q/{}$_2${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap746.gif">'; 
$key = q/{displaymath}cdot{displaymath}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_displaymath732.gif">'; 
$key = q/{}$[req_1,req_2,req_3,...]${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap858.gif">'; 
$key = q/{}$-}${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap642.gif">'; 
$key = q/{}$_1${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap834.gif">'; 
$key = q/{displaymath}mboxC=(mboxC_1setminus{p})cup(mboxC_2setminus{negp}){displaymath}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_displaymath731.gif">'; 
$key = q/{tabular}llllcase;html_special_mark_amp;of;html_special_mark_amp;where;html_special_mark_amp;letin;html_special_mark_amp;if;html_special_mark_amp;then;html_special_mark_amp;elsedata;html_special_mark_amp;type;html_special_mark_amp;infix;html_special_mark_amp;infixlinfixr;html_special_mark_amp;primitive;html_special_mark_amp;class;html_special_mark_amp;instance{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular33.gif">'; 
$key = q/{}$AinFor_S${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap694.gif">'; 
$key = q/{}parbox[t]7cmttfacisteineFunktion,dieeinenInteger--WertalsArgumenterwartetundeinenInteger--WertalsErgebnisliefert{}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap568.gif">'; 
$key = q/{}$n${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap752.gif">'; 
$key = q/{}$leftrightarrow${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap774.gif">'; 
$key = q/{}$pinS${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap782.gif">'; 
$key = q/{}${-${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap634.gif">'; 
$key = q/{}$cup{(,),neg,rightarrow,vee,wedge,leftrightarrow}${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap690.gif">'; 
$key = q/{}$i${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap866.gif">'; 
$key = q/{}$f_2${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap876.gif">'; 
$key = q/{displaymath}pinmboxC_1,negpinmboxC_{displaymath}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_displaymath730.gif">'; 
$key = q/{picture}(34,225)thinlinesput(13,96)circle*4put(11,18)Xput(12,160)Xput(10,207)Xput(17,13)nput(17,155)2put(15,199)1put(13,83)circle*4put(13,110)circle*4put(102,36)line(0,0)0put(92,46)line(0,0)0put(13,63)line(0,-1)32put(13,154)line(0,-1)31put(13,203)line(0,-1)28{picture}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_picture395.gif">'; 
$key = q/{}$mge1${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap610.gif">'; 
$key = q/{}$res_i${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap660.gif">'; 
$key = q/{picture}(317,245)thinlinesput(273,64)vector(0,-1)24put(177,66)vector(0,-1)26put(66,66)vector(0,-1)26put(66,126)vector(0,-1)27put(269,192)vector(0,-1)93put(169,191)vector(0,-1)90put(67,192)vector(0,-1)25put(10,10)framebox(297,30)Beweissystemput(245,63)framebox(59,36)Tableauxput(126,65)framebox(108,35)Wahrheitstafelnput(10,65)framebox(101,34)Resolutionput(11,125)framebox(99,41)Reduziererput(10,191)framebox(285,44)Parser{picture}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_picture302.gif">'; 
$key = q/{}$--${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap630.gif">'; 
$key = q/{}$_n${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap826.gif">'; 
$key = q/{tabular}lp10cm$[$nldots];html_special_mark_amp;stelltdieunlicheListedar,nmitn,inaufsteigerReihenfolge.Bsp.:[2ldots]=[2,3,4,5,etcldots$[$nldotsm];html_special_mark_amp;stelltdieListederElementevonnbisminaufsteigerReihenfolgedar:[-3ldots1]=[-3,-2,-1,0,1];[9ldots0]=[,]$[$n,mldots];html_special_mark_amp;stelltdieListedar,diemitnundmnt.DiefolgenElementewerdendurchdieDifferenzausmundnbestimmt:[1,~3,ldots]=[1,3,5,7,etcldots;[2,~1,ldots]=[2,1,0,-1,-2,etcldots;[0,~0,ldots]=[0,0,0,0,0,etcldots$[$n,n'ldotsm];html_special_mark_amp;stelltdieListevonnbismdar,wobeidieSchrittweitedurchdieDifferenzausn'undnbestimmtwird:[1,~3ldots12]=[1,3,5,7,9,11];[0,~0ldots10]=[0,0,0,0,etcldots{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular123.gif">'; 
$key = q/{}$For_S${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap688.gif">'; 
$key = q/{}$negA${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap698.gif">'; 
$key = q/{}$2^n${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap750.gif">'; 
$key = q/{}$(1-2)-3${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap564.gif">'; 
$key = q/{}$pi${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap832.gif">'; 
$key = q/{}$BinFor_S${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap696.gif">'; 
$key = q/{tabular}|l|l|l|hlineOperator;html_special_mark_amp;Vorrang;html_special_mark_amp;Assoziativit"athlinehlinett!!;html_special_mark_amp;9;html_special_mark_amp;linksassoziativtt.;html_special_mark_amp;9;html_special_mark_amp;rechtsassoziativtt^;html_special_mark_amp;8;html_special_mark_amp;rechtsassoziativtt*;html_special_mark_amp;7;html_special_mark_amp;linksassoziativtt`div``rem``mod`;html_special_mark_amp;7;html_special_mark_amp;tt+-;html_special_mark_amp;6;html_special_mark_amp;linksassoziativtt$backslashbackslash$;html_special_mark_amp;5;html_special_mark_amp;tt++:;html_special_mark_amp;5;html_special_mark_amp;rechtsassoziativtt===;html_special_mark_lt;;html_special_mark_lt;=;html_special_mark_gt;;html_special_mark_gt;=;html_special_mark_amp;4;html_special_mark_amp;tt`elem``notElem`;html_special_mark_amp;4;html_special_mark_amp;tt&&;html_special_mark_amp;3;html_special_mark_amp;rechtsassoziativtt||;html_special_mark_amp;2;html_special_mark_amp;rechtsassoziativhline{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular43.gif">'; 
$key = q/{}$1-2-3${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap562.gif">'; 
$key = q/{}$neg,rightarrow,wedge${}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tex2html_wrap770.gif">'; 
$key = q/{tabular}|c|c|c||c|c|c|hlineA;html_special_mark_amp;B;html_special_mark_amp;C;html_special_mark_amp;A$rightarrow$C;html_special_mark_amp;$neg($A$rightarrow$C);html_special_mark_amp;$(neg$(A$rightarrow$C))$vee$Bhlinehline0;html_special_mark_amp;0;html_special_mark_amp;0;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;0hline0;html_special_mark_amp;0;html_special_mark_amp;1;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;1hline0;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;0hline0;html_special_mark_amp;1;html_special_mark_amp;1;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;1hline1;html_special_mark_amp;0;html_special_mark_amp;0;html_special_mark_amp;0;html_special_mark_amp;1;html_special_mark_amp;1hline1;html_special_mark_amp;0;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;1;html_special_mark_amp;1hline1;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;0hline1;html_special_mark_amp;1;html_special_mark_amp;1;html_special_mark_amp;1;html_special_mark_amp;0;html_special_mark_amp;1hline{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular346.gif">'; 
$key = q/{tabular}llllsum;html_special_mark_amp;integerSum;html_special_mark_amp;f'';html_special_mark_amp;do'until'zero{tabular}/;
$cached_env_img{$key} ='<IMG ALIGN=BOTTOM SRC="_12787_tabular28.gif">'; 

1;

