This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2009.4.25) 13 NOV 2014 15:43 entering extended mode **all (./all.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/Users/cp/WWW/SEKI/forauthors/seki-deckblatt-5.tex CP's seki-deckblatt-5.tex, Version 3.15, 2013/08/19 --- To be used for SEKIs since 2011 --- (/Users/cp/svn/hilbertbernays/trunk/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/Users/cp/svn/hilbertbernays/trunk/size12.clo File: size12.clo 2000/05/19 v1.4b Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/Users/cp/svn/hilbertbernays/trunk/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/Users/cp/svn/hilbertbernays/trunk/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/Users/cp/svn/hilbertbernays/trunk/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 80. (/sw/share/texmf-dist/tex/latex/graphics/pdftex.def File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex \Gread@gobject=\count87 )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/sw/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/sw/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/sw/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex \pgfutil@everybye=\toks15 ) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def \pgfutil@abb=\box26 (/sw/share/texmf-dist/tex/latex/ms/everyshi.sty Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) )) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) )) Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12) (/sw/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/sw/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex \pgfkeys@pathtoks=\toks16 \pgfkeys@temptoks=\toks17 (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex \pgfkeys@tmptoks=\toks18 )) \pgf@x=\dimen105 \pgf@y=\dimen106 \pgf@xa=\dimen107 \pgf@ya=\dimen108 \pgf@xb=\dimen109 \pgf@yb=\dimen110 \pgf@xc=\dimen111 \pgf@yc=\dimen112 \w@pgf@writea=\write3 \r@pgf@reada=\read1 \c@pgf@counta=\count88 \c@pgf@countb=\count89 \c@pgf@countc=\count90 \c@pgf@countd=\count91 (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg File: pgf.cfg 2008/05/14 (rcs-revision 1.7) ) Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) ))) (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) \pgfsyssoftpath@smallbuffer@items=\count92 \pgfsyssoftpath@bigbuffer@items=\count93 ) (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) )) (/sw/share/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2004/07/04 v2.00 LaTeX color extensions (UK) (/Users/cp/svn/hilbertbernays/trunk/color.cfg File: color.cfg 2004/11/03 v1.1BS1 color configuration of teTeX/TeXLive, change s by Bernd Strieder ) Package xcolor Info: Driver file: pdftex.def on input line 136. Package xcolor Info: Color model `cmy' added on input line 972. Package xcolor Info: Color model `hsb' added on input line 980. Package xcolor Info: Color model `HTML' added on input line 1000. Package xcolor Info: Color model `HSB' added on input line 1006. Package xcolor Info: Color model `Gray' added on input line 1012. ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex \pgfmath@dimen=\dimen113 \pgfmath@count=\count94 \pgfmath@box=\box27 \pgfmath@toks=\toks19 \pgfmath@stack@operand=\toks20 \pgfmath@stack@operation=\toks21 ) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code. tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex ) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex \c@pgfmathroundto@lastzeros=\count95 )) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) \pgf@picminx=\dimen114 \pgf@picmaxx=\dimen115 \pgf@picminy=\dimen116 \pgf@picmaxy=\dimen117 \pgf@pathminx=\dimen118 \pgf@pathmaxx=\dimen119 \pgf@pathminy=\dimen120 \pgf@pathmaxy=\dimen121 \pgf@xx=\dimen122 \pgf@xy=\dimen123 \pgf@yx=\dimen124 \pgf@yy=\dimen125 \pgf@zx=\dimen126 \pgf@zy=\dimen127 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) \pgf@path@lastx=\dimen128 \pgf@path@lasty=\dimen129 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) \pgf@shorten@end@additional=\dimen130 \pgf@shorten@start@additional=\dimen131 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) \pgfpic=\box28 \pgf@hbox=\box29 \pgf@layerbox@main=\box30 \pgf@picture@serial@count=\count96 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) \pgflinewidth=\dimen132 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.te x File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) \pgf@pt@x=\dimen133 \pgf@pt@y=\dimen134 \pgf@pt@temp=\dimen135 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) \pgf@max=\dimen136 \pgf@sys@shading@range@num=\count97 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) \pgfexternal@startupbox=\box31 )) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) ))) (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex File: pgfmoduleshapes.code.tex 2010/09/09 (rcs-revision 1.13) \pgfnodeparttextbox=\box32 ) (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex File: pgfmoduleplot.code.tex 2010/10/22 (rcs-revision 1.8) ) (/sw/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7) \pgf@nodesepstart=\dimen137 \pgf@nodesepend=\dimen138 ) (/sw/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1) )) (/sw/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/sw/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18) \pgffor@iter=\dimen139 \pgffor@skip=\dimen140 \pgffor@stack=\toks22 \pgffor@toks=\toks23 )) (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76) (/sw/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15) \pgf@plot@mark@count=\count98 \pgfplotmarksize=\dimen141 ) \tikz@lastx=\dimen142 \tikz@lasty=\dimen143 \tikz@lastxsaved=\dimen144 \tikz@lastysaved=\dimen145 \tikzleveldistance=\dimen146 \tikzsiblingdistance=\dimen147 \tikz@figbox=\box33 \tikz@tempbox=\box34 \tikztreelevel=\count99 \tikznumberofchildren=\count100 \tikznumberofcurrentchild=\count101 \tikz@fig@count=\count102 (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex File: pgfmodulematrix.code.tex 2010/08/24 (rcs-revision 1.4) \pgfmatrixcurrentrow=\count103 \pgfmatrixcurrentcolumn=\count104 \pgf@matrix@numberofcolumns=\count105 ) \tikz@expandcount=\count106 (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryt opaths.code.tex File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2) ))) (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarym atrix.code.tex File: tikzlibrarymatrix.code.tex 2008/06/18 v2.10 (rcs-revision 1.2) ) (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryd ecorations.pathreplacing.code.tex (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryd ecorations.code.tex (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex \pgfdecoratedcompleteddistance=\dimen148 \pgfdecoratedremainingdistance=\dimen149 \pgfdecoratedinputsegmentcompleteddistance=\dimen150 \pgfdecoratedinputsegmentremainingdistance=\dimen151 \pgf@decorate@distancetomove=\dimen152 \pgf@decorate@repeatstate=\count107 \pgfdecorationsegmentamplitude=\dimen153 \pgfdecorationsegmentlength=\dimen154 ) \tikz@lib@dec@box=\box35 ) (/sw/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecoratio ns.pathreplacing.code.tex)) (/Users/cp/svn/hilbertbernays/trunk/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/Users/cp/svn/hilbertbernays/trunk/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks24 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/Users/cp/svn/hilbertbernays/trunk/headerhot.tex \disp=\skip43 \textwidthminustwomm=\skip44 \textwidthminushalfcm=\skip45 \textwidthminusonecm=\skip46 \textwidthminustwocm=\skip47 \textwidthminusfourcm=\skip48 \textwidthminussixcm=\skip49 \yinibox=\box36 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerproof.tex) (/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex) (/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex) (/Users/cp/svn/hilbertbernays/trunk/headernames.tex (/Users/cp/svn/hilbertbernays/trunk/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/Users/cp/svn/hilbertbernays/trunk/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex) (/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex (/Users/cp/svn/hilbertbernays/trunk/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ))) (/Users/cp/svn/hilbertbernays/trunk/named.sty) (/Users/cp/svn/hilbertbernays/trunk/namedhelper.tex) (/Users/cp/svn/hilbertbernays/trunk/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/Users/cp/svn/hilbertbernays/trunk/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/Users/cp/svn/hilbertbernays/trunk/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/Users/cp/svn/hilbertbernays/trunk/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/rotating.sty Package: rotating 1997/09/26 v2.13 Rotation package (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) \c@r@tfl@t=\count108 \rot@float@box=\box37 ) \c@theorem=\count109 ) (./macros.tex) (./all.aux) \openout1 = `all.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 36. LaTeX Font Info: ... okay on input line 36. (/sw/share/texmf-dist/tex/context/base/supp-pdf.tex (/sw/share/texmf-dist/tex/context/base/supp-mis.tex loading : Context Support Macros / Miscellaneous (2004.10.26) \protectiondepth=\count110 \scratchcounter=\count111 \scratchtoks=\toks25 \scratchdimen=\dimen155 \scratchskip=\skip50 \scratchmuskip=\muskip11 \scratchbox=\box38 \scratchread=\read2 \scratchwrite=\write4 \zeropoint=\dimen156 \onepoint=\dimen157 \onebasepoint=\dimen158 \minusone=\count112 \thousandpoint=\dimen159 \onerealpoint=\dimen160 \emptytoks=\toks26 \nextbox=\box39 \nextdepth=\dimen161 \everyline=\toks27 \!!counta=\count113 \!!countb=\count114 \recursecounter=\count115 ) loading : Context Support Macros / PDF (2004.03.26) \nofMPsegments=\count116 \nofMParguments=\count117 \MPscratchCnt=\count118 \MPscratchDim=\dimen162 \MPnumerator=\count119 \everyMPtoPDFconversion=\toks28 ) ABD: EveryShipout initializing macros File: dfki.png Graphic file (type png) File: ju.png Graphic file (type png) File: uds.png Graphic file (type png) File: seki-robbi.png Graphic file (type png) File: leibniz.png Graphic file (type png) LaTeX Font Info: Try loading font information for T1+cmtt on input line 37. (/Users/cp/svn/hilbertbernays/trunk/t1cmtt.fd File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 37. (/Users/cp/svn/hilbertbernays/trunk/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 37. (/Users/cp/svn/hilbertbernays/trunk/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for T1+cmss on input line 37. (/Users/cp/svn/hilbertbernays/trunk/t1cmss.fd File: t1cmss.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) Underfull \vbox (badness 10000) has occurred while \output is active [] [-99 {/sw/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} ] Underfull \hbox (badness 10000) in paragraph at lines 37--37 [] Underfull \hbox (badness 10000) in paragraph at lines 37--37 [] Underfull \hbox (badness 10000) in paragraph at lines 37--37 [] Underfull \hbox (badness 10000) in paragraph at lines 37--37 [] Underfull \hbox (badness 10000) in paragraph at lines 37--37 [] Underfull \hbox (badness 10000) in paragraph at lines 37--37 [] Underfull \hbox (badness 10000) in paragraph at lines 37--37 [] [-98] [1 ] [2 ] (./all.toc [3]) \tf@toc=\write5 \openout5 = `all.toc'. [4] (./body.tex Overfull \hbox (4.1264pt too wide) in paragraph at lines 88--101 \T1/cmr/m/n/12 a cru-cial short-com-ing of \T1/cmr/m/sc/12 Poole\T1/cmr/m/n/12 's origi-nal relation (P1) and its slight [] [] [5 ] LaTeX Font Info: Try loading font information for OMS+cmr on input line 210. (/Users/cp/svn/hilbertbernays/trunk/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 210. [6] [7] [8] Overfull \hbox (0.71716pt too wide) in paragraph at lines 536--543 \T1/cmr/m/n/12 tran-si-tive relation. A \T1/cmr/m/it/12 re-flex-ive or-der-ing \T1/cmr/m/n/12 (also called: ``par-tial or-der-ing'') is an anti-symmetric [] [9] [10] [11] [12] Underfull \vbox (badness 10000) has occurred while \output is active [] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] LaTeX Font Info: Font shape `OMS/cmr/m/it' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 2726. Underfull \vbox (badness 1442) has occurred while \output is active [] [25] Underfull \hbox (badness 1019) in paragraph at lines 2894--2912 \T1/cmr/m/n/12 pli-fied ac-ti-va-tion sets for $\OT1/cmr/m/n/12 ([][]\OML/cmm/m /it/12 ; []\OT1/cmr/m/n/12 )$\T1/cmr/m/n/12 ) are $\OMS/cmsy/m/n/12 f[]\OML/cmm /m/it/12 ; []; []; []\OMS/cmsy/m/n/12 g$ [] Underfull \hbox (badness 4429) in paragraph at lines 2915--2931 []\T1/cmr/m/n/12 The only sim-pli-fied ac-ti-va-tion set for [] [26] [27] [28] [29] [30] Overfull \hbox (3.96523pt too wide) in paragraph at lines 3914--3969 \T1/cmr/m/n/12 We have $[][][]$ be-cause $[][][][]$ and be-cause [] [] [31] Overfull \hbox (2.24812pt too wide) in paragraph at lines 4094--4118 \T1/cmr/m/n/12 for fresh con-stant lit-er-als $\OML/cmm/m/it/12 L[]$ \T1/cmr/m/ n/12 with rules $\OML/cmm/m/it/12 L[][]L[][]L[]$ \T1/cmr/m/n/12 added to the g eneral rules $\OT1/cmr/m/n/12 ^^E[]$ \T1/cmr/m/n/12 ($\OML/cmm/m/it/12 j[]\OMS/ cmsy/m/n/12 f\OT1/cmr/m/n/12 1\OML/cmm/m/it/12 ; \OT1/cmr/m/n/12 2\OMS/cmsy/m/n /12 g$\T1/cmr/m/n/12 ). [] Overfull \hbox (3.20522pt too wide) in paragraph at lines 4094--4118 \T1/cmr/m/n/12 In this case, we will call $[]$ the \T1/cmr/m/it/12 con-junc-t ion \T1/cmr/m/n/12 of the ar-gu-ments $[]$ and $[]\OML/cmm/m/it/12 :$ [] Overfull \hbox (0.33667pt too wide) in paragraph at lines 4156--4162 \T1/cmr/m/n/12 most im-por-tant one. This was al-ready noted in [][] \T1/cmr/m /sc/12 Poole\T1/cmr/m/n/12 , 1985[][], us-ing the [] [] [32] [33] [34] Underfull \vbox (badness 4205) has occurred while \output is active [] [35] [36] [37] Overfull \hbox (1.1244pt too wide) in paragraph at lines 6219--6296 [][] [][] [] [38] [39] [40] [41] Underfull \vbox (badness 10000) has occurred while \output is active [] [42] [43] [44] [45] [46] [47] [48] Underfull \hbox (badness 1189) in paragraph at lines 8204--8207 []\T1/cmr/m/n/12 Under these assump-tions, the SLD-like pro-ce-dure $[]\OT1/cmr /m/n/12 (\OML/cmm/m/it/12 L\OT1/cmr/m/n/12 )$ \T1/cmr/m/n/12 of [] [49] Overfull \hbox (17.62482pt too wide) in paragraph at lines 8230--8230 []$[]$ [] Underfull \vbox (badness 3557) has occurred while \output is active [] [50] [51] [52] Underfull \vbox (badness 10000) has occurred while \output is active [] [53] [54] [55]) (./body1.tex [56] [57] [58]) (./all.bbl [59] Underfull \hbox (badness 1062) in paragraph at lines 84--89 []\T1/cmr/m/n/10.95 Dov Gab-bay, Rudolf Kruse, An-dreas Non-nen-gart, and Hans- Jürgen [] [60] [61]) [62] (./all.aux) ) Here is how much of TeX's memory you used: 16546 strings out of 94500 279736 string characters out of 1176114 325893 words of memory out of 1500000 18786 multiletter control sequences out of 10000+50000 46885 words of font info for 125 fonts, out of 1200000 for 2000 1207 hyphenation exceptions out of 8191 58i,24n,71p,627b,1018s stack positions out of 5000i,500n,6000p,200000b,5000s PDF statistics: 307 PDF objects out of 65536 0 named destinations out of 20000 38 words of extra memory for PDF output out of 65536 Output written on all.pdf (64 pages, 891465 bytes).