This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2002.1.28) 8 FEB 2002 13:06 **cthl (cthl.tex LaTeX2e <2000/06/01> Babel and hyphenation patterns for american, french, german, ngerman, d utch, italian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2000/05/19 v1.4b Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size11.clo File: size11.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 ) (/usr/share/texmf/tex/latex/html/url.sty Package: url 1999/03/02 ver 1.4 Verb mode for urls, email addresses, and file names ) (/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. ) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 1996/11/03 v2.2b (/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/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks15 \ex@=\dimen103 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count87 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count88 \leftroot@=\count89 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count90 \DOTSCASE@=\count91 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count92 \c@MaxMatrixCols=\count93 \dotsspace@=\muskip10 \c@parentequation=\count94 \dspbrk@lvl=\count95 \tag@help=\toks16 \row@=\count96 \column@=\count97 \maxfields@=\count98 \andhelp@=\toks17 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@envbody=\toks18 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks19 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/share/texmf/tex/latex/tools/theorem.sty Package: theorem 1995/11/23 v2.2c Theorem extension package (FMi) \theorem@style=\toks20 \theorem@bodyfont=\toks21 \theorempreskipamount=\skip46 \theorempostskipamount=\skip47 (/usr/share/texmf/tex/latex/tools/thp.sty File: thp.sty 1995/11/23 v2.2c Theorem extension package (FMi) )) (/ufs/jve/texmacros/proof.sty \inferLineSkip=\dimen112 \inferLabelSkip=\dimen113 \@LeftOffset=\dimen114 \@RightOffset=\dimen115 \@SavedLeftOffset=\dimen116 \UpperWidth=\dimen117 \LowerWidth=\dimen118 \LowerHeight=\dimen119 \UpperLeftOffset=\dimen120 \UpperRightOffset=\dimen121 \UpperCenter=\dimen122 \LowerCenter=\dimen123 \UpperAdjust=\dimen124 \RuleAdjust=\dimen125 \LowerAdjust=\dimen126 \RuleWidth=\dimen127 \HLabelAdjust=\dimen128 \VLabelAdjust=\dimen129 \WidthAdjust=\dimen130 \@UpperPart=\box28 \@LowerPart=\box29 \@LabelPart=\box30 \ResultBox=\box31 ) (/usr/share/texmf/tex/latex/tools/calc.sty Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ) \calc@Acount=\count99 \calc@Bcount=\count100 \calc@Adimen=\dimen131 \calc@Bdimen=\dimen132 \calc@Askip=\skip48 \calc@Bskip=\skip49 LaTeX Info: Redefining \setlength on input line 59. LaTeX Info: Redefining \addtolength on input line 60. \calc@denominator=\count101 ) (/usr/share/texmf/tex/latex/base/alltt.sty Package: alltt 1997/06/16 v2.0g defines alltt environment ) (/usr/share/texmf/tex/generic/pstricks/pst-tree.sty Package: pst-tree 1997/03/25 package wrapper for PSTricks pst-tree.tex (/usr/share/texmf/tex/generic/pstricks/pst-tree.tex v97 patch 3, 1997/09/24 (/usr/share/texmf/tex/generic/pstricks/pst-node.tex v97 patch 9, 1999/04/14 (/usr/share/texmf/tex/generic/pstricks/pstricks.tex `PSTricks' v97 patch 10 <1999/03/24> (tvz) \pst@dima=\dimen133 \pst@dimb=\dimen134 \pst@dimc=\dimen135 \pst@dimd=\dimen136 \pst@dimg=\dimen137 \pst@dimh=\dimen138 \pst@hbox=\box32 \pst@boxg=\box33 \pst@cnta=\count102 \pst@cntb=\count103 \pst@cntc=\count104 \pst@cntd=\count105 \pst@cntg=\count106 \pst@cnth=\count107 \pst@toks=\toks22 (/usr/share/texmf/tex/generic/pstricks/pstricks.con) \psunit=\dimen139 \psxunit=\dimen140 \psyunit=\dimen141 \pslinewidth=\dimen142 \pst@customdefs=\toks23 \pslinearc=\dimen143 \everypsbox=\toks24 \psframesep=\dimen144 \pslabelsep=\dimen145 \theoverlaybox=\box34 ) \psrow=\count108 \pscol=\count109 \psmatrixcnt=\count110 \psrowsep=\skip50 \pscolsep=\skip51 ) \pstree@rootbox=\box35 \pstree@box=\box36 \psnodecnt=\count111 \pstreelevel=\count112 \pstreecnt=\count113 \pstree@cnt=\count114 \pstree@stop=\count115 )) (/ufs/jve/texmacros/mymacros.tex \c@theorem=\count116 \c@condition=\count117 \c@nl=\count118 \c@axiom=\count119 \c@erax=\count120 \c@erth=\count121 \c@theo=\count122 \c@defi=\count123 \c@derrule=\count124 ) \fminibox=\box37 \fminilength=\skip52 No file cthl.aux. \openout1 = `cthl.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 94. LaTeX Font Info: ... okay on input line 94. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 94. LaTeX Font Info: ... okay on input line 94. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 94. LaTeX Font Info: ... okay on input line 94. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 94. LaTeX Font Info: ... okay on input line 94. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 94. LaTeX Font Info: ... okay on input line 94. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 94. LaTeX Font Info: ... okay on input line 94. LaTeX Font Info: Try loading font information for U+lasy on input line 96. (/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 96. (/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 96. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Warning: Citation `Blackburn:ild' on page 1 undefined on input line 101. LaTeX Warning: Citation `Blackburn:rrars' on page 1 undefined on input line 101 . LaTeX Warning: Citation `Tzakova:tcfhl' on page 1 undefined on input line 101. LaTeX Warning: Citation `Eijck02:hylotab' on page 1 undefined on input line 124 . LaTeX Warning: Citation `Haskell98:rep' on page 1 undefined on input line 125. LaTeX Warning: Citation `Knuth:lp' on page 1 undefined on input line 126. LaTeX Warning: Citation `Areces:le' on page 1 undefined on input line 138. LaTeX Warning: Citation `AreBlaMar:hlcic' on page 1 undefined on input line 138 . [1 ] LaTeX Warning: Citation `Blackburn:ild' on page 2 undefined on input line 216. LaTeX Warning: Citation `Blackburn:rrars' on page 2 undefined on input line 216 . LaTeX Warning: Citation `Smullyan:fl' on page 2 undefined on input line 224. LaTeX Warning: Reference `PP' on page 2 undefined on input line 225. [2] [3] LaTeX Font Info: Font shape `U/lasy/b/n' in size <8> not available (Font) Font shape `U/lasy/m/n' tried instead on input line 344. LaTeX Font Info: Font shape `U/lasy/b/n' in size <6> not available (Font) Font shape `U/lasy/m/n' tried instead on input line 344. LaTeX Warning: Reference `Ex1' on page 4 undefined on input line 455. LaTeX Warning: Reference `Ex1' on page 4 undefined on input line 499. LaTeX Warning: Reference `FigEx1' on page 4 undefined on input line 503. LaTeX Warning: Reference `Ex1' on page 4 undefined on input line 503. LaTeX Warning: Reference `FigEx1' on page 4 undefined on input line 505. [4] [5] [6] LaTeX Warning: Reference `Ex1' on page 7 undefined on input line 514. LaTeX Warning: Reference `FigEx2' on page 7 undefined on input line 580. [7] LaTeX Warning: Reference `FigRef1' on page 8 undefined on input line 633. LaTeX Warning: Reference `FigRef2' on page 8 undefined on input line 678. LaTeX Warning: Reference `FigNewEx' on page 8 undefined on input line 709. LaTeX Warning: Citation `Tzakova:tcfhl' on page 8 undefined on input line 712. LaTeX Warning: Reference `FigArrowEx1' on page 8 undefined on input line 761. LaTeX Warning: Reference `ArrowEx2' on page 8 undefined on input line 825. LaTeX Warning: Reference `FigArrowEx2' on page 8 undefined on input line 830. LaTeX Warning: Reference `ArrowEx2' on page 8 undefined on input line 831. [8] [9] [10] [11] LaTeX Warning: Reference `ArrowEx2' on page 12 undefined on input line 846. LaTeX Warning: Reference `PPfig' on page 12 undefined on input line 954. LaTeX Font Info: Try loading font information for OMS+cmr on input line 991. (/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 <10.95> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 991. [12] [13] LaTeX Warning: Reference `PPfig' on page 14 undefined on input line 1011. LaTeX Warning: Reference `PP' on page 14 undefined on input line 1065. LaTeX Warning: Reference `PPfig' on page 14 undefined on input line 1068. [14] LaTeX Warning: Reference `PPfair' on page 15 undefined on input line 1098. LaTeX Warning: Reference `APEfig' on page 15 undefined on input line 1184. [15] LaTeX Warning: Reference `APEfig' on page 16 undefined on input line 1199. [16] LaTeX Warning: Reference `NinfConj' on page 17 undefined on input line 1448. [17] LaTeX Warning: Reference `NinfConj' on page 18 undefined on input line 1546. LaTeX Warning: Reference `FigNinfConj' on page 18 undefined on input line 1550. LaTeX Warning: Reference `NinfConj' on page 18 undefined on input line 1551. LaTeX Warning: Reference `FigTENinfConj' on page 18 undefined on input line 156 3. LaTeX Warning: Citation `Benthem:panicl' on page 18 undefined on input line 158 5. [18] [19] [20] LaTeX Warning: Citation `Areces:le' on page 21 undefined on input line 1647. LaTeX Warning: Citation `AreBlaMar:hlcic' on page 21 undefined on input line 16 47. LaTeX Warning: Reference `PdecidesAt' on page 21 undefined on input line 1661. LaTeX Warning: Reference `PP' on page 21 undefined on input line 1662. LaTeX Warning: Citation `BlaRijVen:ml' on page 21 undefined on input line 1671. [21] LaTeX Warning: Citation `Areces:le' on page 22 undefined on input line 1696. LaTeX Warning: Citation `AreBlaMar:hlcic' on page 22 undefined on input line 16 96. [22] LaTeX Warning: Citation `Marx02:nsas' on page 23 undefined on input line 1781. LaTeX Warning: Citation `Graedel:otrpog' on page 23 undefined on input line 179 1. LaTeX Warning: Citation `Graedel:otrpog' on page 23 undefined on input line 179 9. LaTeX Warning: Citation `Graedel:otrpog' on page 23 undefined on input line 180 5. LaTeX Warning: Citation `Fitting:pmfmail' on page 23 undefined on input line 18 49. LaTeX Warning: Citation `Tzakova:tcfhl' on page 23 undefined on input line 1850 . LaTeX Warning: Citation `Blackburn:ild' on page 23 undefined on input line 1852 . LaTeX Warning: Citation `BlaBurWal:hydr01' on page 23 undefined on input line 1 860. [23] LaTeX Warning: Citation `Ohlbach88:arcfml' on page 24 undefined on input line 1 864. LaTeX Warning: Citation `EnjFar89:mricf' on page 24 undefined on input line 186 4. LaTeX Warning: Citation `AreNivRij:reso01' on page 24 undefined on input line 1 866. LaTeX Warning: Citation `AreHeg01:hylores' on page 24 undefined on input line 1 867. No file cthl.bbl. [24] (cthl.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) Here is how much of TeX's memory you used: 3024 strings out of 20884 31906 string characters out of 197302 114820 words of memory out of 350001 5941 multiletter control sequences out of 10000+15000 20244 words of font info for 83 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 10000 39i,52n,41p,300b,1562s stack positions out of 3000i,100n,1500p,50000b,4000s Output written on cthl.dvi (24 pages, 118364 bytes).