This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25)  19 JUN 2014 16:46
entering extended mode
**all
(./all.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> 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/svn/hilbertbernays/trunk/article.cls
Document Class: article 1999/01/07 v1.4a Standard LaTeX document class
(/sw/share/texmf-dist/tex/latex/base/size11.clo
File: size11.clo 2004/02/16 v1.4f 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/amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(/Users/cp/svn/hilbertbernays/trunk/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\@emptytoks=\toks14
\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.
))
(/sw/share/texmf-dist/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.
(/sw/share/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/sw/share/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks15
\ex@=\dimen103
))
(/sw/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
)
(/sw/share/texmf-dist/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.
)
(/sw/share/texmf-dist/tex/latex/vmargin/vmargin.sty
Package: vmargin 2004/07/15 V2.5 set document margins (VK)

Package: vmargin 2004/07/15 V2.5 set document margins (VK)
\PaperWidth=\dimen112
\PaperHeight=\dimen113
) (/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: dvips.def on input line 80.

(/Users/cp/svn/hilbertbernays/trunk/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
)) (./macros.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/diagrams.tex
\cD@LB=\count99
\cD@MB=\count100
\cD@NB=\count101
\cD@OB=\count102
\cD@tA=\dimen114
\cD@uA=\dimen115
\cD@wA=\dimen116
\cD@xA=\dimen117
\cD@PB=\count103
\cD@VG=\count104
\cD@vA=\dimen118
\cD@qA=\box28
\cD@NH=\count105
\cD@bG=\count106
\cD@SH=\dimen119
\cD@nH=\dimen120
\cD@kH=\dimen121
\cD@NI=\dimen122
\cD@bI=\dimen123
\PileSpacing=\dimen124
\cD@HB=\dimen125
\cD@IB=\dimen126
\cD@fB=\dimen127
\DiagramCellHeight=\dimen128
\DiagramCellWidth=\dimen129
\MapShortFall=\dimen130
\cD@EB=\dimen131
\rh+:>=\box29
\rt+:<=\box30
\dh+:>=\box31
\dt+:<=\box32
\rt+:>=\box33
\rh+:<=\box34
\dt+:>=\box35
\dh+:<=\box36
\cD@zC=\toks20
\cD@oG=\toks21
\cD@zA=\count107
\cD@vC=\toks22
\cD@AD=\toks23
\cD@xC=\toks24
\cD@yC=\toks25
\cD@wC=\toks26
\cD@@D=\toks27
\cD@II=\toks28
\cD@JI=\toks29
\cD@HI=\toks30
\cD@KI=\toks31
\cD@pA=\count108
\cD@eB=\count109
\cD@ZB=\count110
\cD@rA=\count111
\cD@FB=\count112
\cD@YB=\count113
\cD@VB=\count114
\cD@tD=\box37
\cD@rD=\box38
\DiagonalChoice=\count115
\cD@OH=\dimen132
\cD@PH=\dimen133
\cD@SG=\toks32
\cD@NF=\toks33
\cD@gE=\toks34
\cD@hC=\toks35
\cD@dE=\toks36
LaTeX Font Info:    Try loading font information for U+msa on input line 1564.

(/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 1564.

(/Users/cp/svn/hilbertbernays/trunk/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)) (./diagrams-initialization.tex)
\c@theorem=\count116

(./all.aux)
\openout1 = `all.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 81.
LaTeX Font Info:    ... okay on input line 81.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 81.
LaTeX Font Info:    ... okay on input line 81.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 81.
LaTeX Font Info:    ... okay on input line 81.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 81.
LaTeX Font Info:    ... okay on input line 81.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 81.
LaTeX Font Info:    ... okay on input line 81.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 81.
LaTeX Font Info:    ... okay on input line 81.
 (./all-meta-aspects.tex
Underfull \hbox (badness 10000) in paragraph at lines 113--4

 []

LaTeX Font Info:    Try loading font information for OMS+cmr on input line 8.
(/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 <10.95> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 8.
 [1

]
Underfull \hbox (badness 10000) in paragraph at lines 55--58

 []

[2] [3]
Overfull \hbox (0.1361pt too wide) in paragraph at lines 153--159
[]\OT1/cmr/m/n/10.95 [[]]: Positive/Negative-Conditional Equa-tions (in-clud-in
g con-flu-ence cri-te-ria with
 []

[4]) (./all-paper-structure.tex
Underfull \hbox (badness 10000) in paragraph at lines 117--5

 []

[5] [6] [7]
Overfull \hbox (5.37383pt too wide) in paragraph at lines 188--191
[]\OT1/cmr/m/n/10.95 [[]]: syn-tac-tic con-flu-ence cri-te-ria for constructor-
based pos-i-tive/negative
 []


Overfull \hbox (6.56017pt too wide) in paragraph at lines 197--203
[]\OT1/cmr/m/n/10.95 also re-lated: [[]], [[]], [[]], [[]], [[], []], [[]],
 []

[8])
Underfull \hbox (badness 10000) in paragraph at lines 120--121

 []

[9] [10]
Overfull \hbox (5.12445pt too wide) in paragraph at lines 402--404
[]\OT1/cmr/m/n/10.95 basic def-i-ni-tion with dif-fer-ent types of equal-ity in
 the con-di-tions (semi-equational,
 []

[11]
Overfull \hbox (7.81482pt too wide) in paragraph at lines 472--474
[]\OT1/cmr/m/it/10.95 A ter-mi-nat-ing term
 []

[12]
Overfull \hbox (7.66533pt too wide) in paragraph at lines 512--512
[]
 []


Underfull \hbox (badness 10000) in paragraph at lines 512--512

 []

[13]
LaTeX Font Info:    Font shape `OMS/cmr/m/it' in size <10.95> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 574.
 [14]
Underfull \hbox (badness 10000) in paragraph at lines 668--677

 []


Overfull \hbox (1.89737pt too wide) in paragraph at lines 716--725
[]\OT1/cmr/m/it/10.95 A [] $\OMS/cmsy/m/n/10.95 R$ \OT1/cmr/m/it/10.95 is
 []

[15]
Underfull \hbox (badness 10000) in paragraph at lines 802--812

 []

[16] [17]
Underfull \hbox (badness 10000) in paragraph at lines 1033--1036

 []

[18]
Underfull \hbox (badness 10000) in paragraph at lines 1045--1048

 []


Underfull \hbox (badness 10000) in paragraph at lines 1055--1058

 []


Overfull \hbox (6.06001pt too wide) in paragraph at lines 1075--1078
[]\OT1/cmr/bx/it/10.95 ($\OMS/cmsy/m/n/10.95 ^^_$\OT1/cmr/bx/it/10.95 -extended
 global cri-te-rion for con-flu-ence of ter-mi-nat-ing terms)
 []


Underfull \hbox (badness 10000) in paragraph at lines 1080--1083

 []

(./all.bbl [19] [20] [21] [22] [23] [24]) [25] (./all.aux) ) 
Here is how much of TeX's memory you used:
 3325 strings out of 94501
 30427 string characters out of 1176137
 91988 words of memory out of 1500000
 6482 multiletter control sequences out of 10000+50000
 15440 words of font info for 58 fonts, out of 1200000 for 2000
 580 hyphenation exceptions out of 8191
 27i,9n,24p,402b,342s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on all.dvi (25 pages, 87300 bytes).