This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2001.9.23) 3 SEP 2006 23:11 **all (all.tex LaTeX2e <2000/06/01> Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/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 ) (body.tex (/usr/share/texmf/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup4 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 42. ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks14 \symAMSa=\mathgroup5 \symAMSb=\mathgroup6 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 133. )) (/usr/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks15 ) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/config/graphics.cfg) Package graphics Info: Driver file: dvips.def on input line 80. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/dina4.sty) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/ENDNOTES.sty \c@endnote=\count87 \endnotesep=\dimen105 \@enotes=\write3 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/headerarticle.tex \sectionintocsep=\skip43 \contentsandreferencesheadroom=\skip44 \contentsandreferencesfootroom=\skip45 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/header.tex (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/headerhot.tex \disp=\skip46 \textwidthminustwomm=\skip47 \textwidthminushalfcm=\skip48 \textwidthminusonecm=\skip49 \textwidthminustwocm=\skip50 \textwidthminusfourcm=\skip51 \textwidthminussixcm=\skip52 \yinibox=\box26 )) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/headernames.tex (/usr/share/texmf/tex/latex/base/fontenc.sty Package: fontenc 2000/08/30 v1.91 Standard LaTeX package (/usr/share/texmf/tex/latex/base/t1enc.def File: t1enc.def 2000/08/30 v1.91 Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 38. )) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/headernamesrest.tex)) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex \c@theorem=\count88 ) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/headerforformulas.tex) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/headersugarterms.tex) (/usr/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf/tex/generic/xypic/xyrecat.tex) (/usr/share/texmf/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen106 \Y@c=\dimen107 \U@c=\dimen108 \D@c=\dimen109 \L@c=\dimen110 \R@c=\dimen111 \Edge@c=\toks16 \X@p=\dimen112 \Y@p=\dimen113 \U@p=\dimen114 \D@p=\dimen115 \L@p=\dimen116 \R@p=\dimen117 \Edge@p=\toks17 \X@origin=\dimen118 \Y@origin=\dimen119 \X@xbase=\dimen120 \Y@xbase=\dimen121 \X@ybase=\dimen122 \Y@ybase=\dimen123 \X@min=\dimen124 \Y@min=\dimen125 \X@max=\dimen126 \Y@max=\dimen127 \lastobjectbox@=\box27 \zerodotbox@=\box28 \almostz@=\dimen128 direction, \d@X=\dimen129 \d@Y=\dimen130 \K@=\count89 \KK@=\count90 \Direction=\count91 \K@dXdY=\dimen131 \K@dYdX=\dimen132 \xyread@=\read1 \xywrite@=\write4 \csp@=\count92 \quotPTK@=\dimen133 utility macros; pictures: \xy, positions, \swaptoks@@=\toks18 \connectobjectbox@@=\box29 objects, \styletoks@=\toks19 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texmf/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count93 \crvpts@=\toks20 \splinebox@=\box30 \splineval@=\dimen134 \splinedepth@=\dimen135 \splinetol@=\dimen136 \splinelength@=\dimen137 circles, \L@=\dimen138 loaded) (/usr/share/texmf/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen139 loaded) (/usr/share/texmf/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count94 \Col=\count95 \queue@=\toks21 \queue@@=\toks22 \qcount@=\count96 \qcount@@=\count97 \matrixsize@=\count98 loaded) (/usr/share/texmf/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded) (/usr/share/texmf/tex/generic/xypic/xydvips.tex Xy-pic option: DVIPS driver v.3.3 loaded) (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/headerbiblio.tex (/home/wirth/Library/TeX/texmf/tex/latex/latexlib/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) Doc. St. `headerbiblio', , copyright Dr. Claus-Peter Wirth \mybibitemsep=\skip53 ) (all.aux) \openout1 = `all.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 55. LaTeX Font Info: ... okay on input line 55. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 55. LaTeX Font Info: ... okay on input line 55. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 55. LaTeX Font Info: ... okay on input line 55. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 55. LaTeX Font Info: ... okay on input line 55. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 55. LaTeX Font Info: ... okay on input line 55. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 55. LaTeX Font Info: ... okay on input line 55. (/usr/share/texmf/tex/generic/xypic/xyps-ps.tex) Xy-pic Warning: The produced DVI file is NOT PORTABLE [all:55]: It contains `dvips' \specials for the `PostScript' extension. (/usr/share/texmf/tex/generic/xypic/xyps-pro.tex) (/usr/share/texmf/tex/generic/xypic/xypspatt.tex) (/usr/share/texmf/tex/generic/xypic/xypsdict.tex) (/usr/share/texmf/tex/generic/xypic/xyps-c.tex (/usr/share/texmf/tex/generic/xypic/xyps-s.tex)) (/usr/share/texmf/tex/generic/xypic/xyps-r.tex) (/usr/share/texmf/tex/generic/xypic/xyps-l.tex) (/usr/share/texmf/tex/generic/xypic/xyps-f.tex) LaTeX Info: Redefining \cite on input line 55. LaTeX Font Info: Try loading font information for U+lasy on input line 58. (/usr/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 58. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 58. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for T1+cmtt on input line 58. (/usr/share/texmf/tex/latex/base/t1cmtt.fd File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) Underfull \vbox (badness 10000) has occurred while \output is active [] [1 ] [2] [3] [4] [5] Overfull \hbox (4.65402pt too wide) in paragraph at lines 410--414 [] [] [6] Underfull \vbox (badness 10000) has occurred while \output is active [] [7] File: prooftree1.ps Graphic file (type eps) File: depgraph1.ps Graphic file (type eps) [8] [9] [10] LaTeX Font Info: Try loading font information for OMS+cmr on input line 670. (/usr/share/texmf/tex/latex/base/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 670. [11] [12] [13] Underfull \vbox (badness 1418) has occurred while \output is active [] [14] [15] [16] [17] [18] Overfull \hbox (4.139pt too wide) in paragraph at lines 1270--1281 \T1/cmr/bx/n/12 Effect: \T1/cmr/m/n/12 The cur-rent task node gets a new child la-beled with the AND ac-tion ``$[][]$'' , [] Overfull \hbox (32.88278pt too wide) in paragraph at lines 1281--1291 \T1/cmr/m/n/12 ac-tion, such as a tag for $\OML/cmm/m/it/12 ^^L$\T1/cmr/m/n/12 -downfolding taking val-ues from $\OMS/cmsy/m/n/12 f[]\OML/cmm/m/it/12 ; []; [] \OMS/cmsy/m/n/12 g$\T1/cmr/m/n/12 , [] Overfull \hbox (3.16942pt too wide) in paragraph at lines 1294--1312 \T1/cmr/m/n/12 tree, $\OML/cmm/m/it/12 r[]\OMS/cmsy/m/n/12 f[]\OML/cmm/m/it/12 ; []\OMS/cmsy/m/n/12 g$\T1/cmr/m/n/12 , and $\OML/cmm/m/it/12 ^^[$ \T1/cmr/m/ n/12 is a sub-sti-tu-tion on $[]$, [] [19] [20] [21] [22] Underfull \hbox (badness 10000) in paragraph at lines 2231--2231 []\T1/cmr/m/n/10.95 Claus-Pe-ter Wirth (2002). \T1/cmr/m/it/10.95 A New In-def- i-nite Se-man-tics for Hil-bert's epsi-lon. [] [23] (all.aux) LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) ) Here is how much of TeX's memory you used: 6663 strings out of 25890 73184 string characters out of 197430 184443 words of memory out of 384000 9338 multiletter control sequences out of 10000+15000 41685 words of font info for 129 fonts, out of 400000 for 1000 185 hyphenation exceptions out of 1000 26i,21n,29p,533b,484s stack positions out of 300i,100n,500p,50000b,4000s Output written on all.dvi (23 pages, 100480 bytes).