This is TeX, Version 3.14159 (preloaded format=LaTeX 99.11.18)  15 APR 2002 15:52
**&Big-LaTeX infnormG.tex
(infnormG.tex
LaTeX2e <1996/12/01>
(:TeX-inputs:LaTeX:latex209.def
File: latex209.def 1996/05/21 v0.51 Standard LaTeX file

Entering LaTeX 2.09 compatibility mode.
\footheight=\dimen102
\@maxsep=\dimen103
\@dblmaxsep=\dimen104
\@cla=\count79
\@clb=\count80
\mscount=\count81
(:TeX-inputs:LaTeX:tracefnt.sty
Package: tracefnt 1996/07/26 v3.0i Standard LaTeX package (font tracing)
\tracingfonts=\count82
LaTeX Info: Redefining \selectfont on input line 139.
)
\symbold=\mathgroup4
\symsans=\mathgroup5
\symtypewriter=\mathgroup6
\symitalic=\mathgroup7
\symsmallcaps=\mathgroup8
\symslanted=\mathgroup9
LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 306.
LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 307.
LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 308.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 314.
LaTeX Info: Redefining \em on input line 324.
 (:TeX-inputs:LaTeX:latexsym.sty
Package: latexsym 1996/11/20 v2.2d Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup10
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 85.
)
LaTeX Font Info:    Redeclaring math delimiter \lgroup on input line 388.
LaTeX Font Info:    Redeclaring math delimiter \rgroup on input line 390.
LaTeX Font Info:    Redeclaring math delimiter \bracevert on input line 392.
)
(:TeX-inputs:LaTeX:article.cls
Document Class: article 1996/10/31 v1.3u Standard LaTeX document class
(:TeX-inputs:LaTeX:size10.clo
File: size10.clo 1996/10/31 v1.3u Standard LaTeX file (size option)
)
\c@part=\count83
\c@section=\count84
\c@subsection=\count85
\c@subsubsection=\count86
\c@paragraph=\count87
\c@subparagraph=\count88
\c@figure=\count89
\c@table=\count90
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
Compatibility mode: definition of \rm ignored.
Compatibility mode: definition of \sf ignored.
Compatibility mode: definition of \tt ignored.
Compatibility mode: definition of \bf ignored.
Compatibility mode: definition of \it ignored.
Compatibility mode: definition of \sl ignored.
Compatibility mode: definition of \sc ignored.
LaTeX Info: Redefining \cal on input line 542.
LaTeX Info: Redefining \mit on input line 543.
\bibindent=\dimen105
) (:User:TeX-inputs:diagrams.tex
<Paul Taylor's commutative diagrams, version 3.88, September 2000>
\CD@uA=\count91
\CD@vA=\count92
\CD@wA=\count93
\CD@xA=\count94
\CD@OA=\dimen106
\CD@PA=\dimen107
\CD@RA=\dimen108
\CD@SA=\dimen109
\CD@yA=\count95
\CD@zA=\count96
\CD@QA=\dimen110
\CD@DA=\box26
\CD@LH=\count97
\CD@TC=\count98
\CD@XH=\dimen111
\CD@zC=\dimen112
\CD@@I=\dimen113
\CD@LF=\dimen114
\CD@oI=\dimen115
\CD@DC=\dimen116
\CD@eJ=\dimen117
\PileSpacing=\dimen118
\CD@nA=\dimen119
\CD@YB=\dimen120
\DiagramCellHeight=\dimen121
\DiagramCellWidth=\dimen122
\MapShortFall=\dimen123
\CD@iA=\dimen124
\rh+:>=\box27
\rt+:<=\box28
\dh+:>=\box29
\dt+:<=\box30
\rt+:>=\box31
\rh+:<=\box32
\dt+:>=\box33
\dh+:<=\box34
\CD@VE=\toks14
\CD@SE=\toks15
\CD@VA=\count99
\CD@ME=\toks16
\CD@XE=\toks17
\CD@RE=\toks18
\CD@TE=\toks19
\CD@QE=\toks20
\CD@WE=\toks21
\CD@OE=\toks22
\CD@PE=\toks23
\CD@NE=\toks24
\CD@UE=\toks25
\CD@CA=\count100
\CD@XB=\count101
\CD@NB=\count102
\CD@FA=\count103
\CD@lA=\count104
\CD@MB=\count105
\CD@GB=\count106
\CD@KG=\box35
\CD@IG=\box36
\DiagonalChoice=\count107
\objectheight=\dimen125
\objectwidth=\dimen126
\CD@NA=\toks26
\CD@xI=\toks27
\CD@lH=\toks28
\CD@hD=\toks29
\CD@hH=\toks30
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 1880.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 1880.
LaTeX Font Info:    Try loading font information for U+lasy on input line 1880.


(:TeX-inputs:LaTeX:ulasy.fd
File: ulasy.fd 1996/11/20 v2.2dLaTeX symbol font definitions
)) (infnormG.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
\c@thm=\count108
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 275.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 275.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 275.

Underfull \vbox (badness 1009) has occurred while \output is active []

 [1


]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [2]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 574.


(:TeX-inputs:LaTeX:omscmr.fd
File: omscmr.fd 1997/01/14 v2.5a Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/bx/n' in size <10> not available
(Font)              Font shape `OMS/cmsy/b/n' tried instead on input line 574.
 [3]
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <14.4> on input line 652.

! Commutative Diagram: badly drawn diagonals (see manual) at lines 703--709
! (error detected at row 1, column 2, but probably caused elsewhere) [4]
[5]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [6]
Underfull \hbox (badness 2486) in paragraph at lines 983--985
\OT1/cmr/m/n/10 par-tic-u-lar re-duc-tions $\OML/cmm/m/it/10 P$\OT1/cmr/m/n/10 
, or dis-crete need-ed-ness,
 []

[7]
Underfull \hbox (badness 10000) in paragraph at lines 1101--1101
[]\OT1/cmr/bx/n/14.4 Relative Nor-mal-iza-tion in
 []

[8]
Underfull \hbox (badness 3138) in paragraph at lines 1369--1376
[]\OT1/cmr/m/it/10 (\OT1/cmr/bx/n/10 Minimal Rel-a-tive Nor-mal-iza-
 []

[9]
Underfull \hbox (badness 1270) in paragraph at lines 1493--1496
\OT1/cmr/m/n/10 sensible mod-els. Logic and Al-ge-bra, Lec-ture
 []


Underfull \hbox (badness 10000) in paragraph at lines 1510--1513
[]\OT1/cmr/m/n/10 G. Boudol, Com-
 []


Underfull \hbox (badness 1292) in paragraph at lines 1558--1561
\OT1/cmr/m/n/10 nor-mal-iza-tion in de-ter-min-is-tic resid-ual struc-
 []


Underfull \hbox (badness 1629) in paragraph at lines 1587--1590
\OT1/cmr/m/it/10 IEEE Symp. on Logic in Com-puter Sci-ence
 []

[10]
Underfull \hbox (badness 10000) in paragraph at lines 1653--1657
[]\OT1/cmr/m/n/10 Z. Khasi-dashvili, $\OML/cmm/m/it/10 ^^L$\OT1/cmr/m/n/10 -red
uctions and
 []


Underfull \hbox (badness 1755) in paragraph at lines 1665--1668
\OT1/cmr/m/n/10 thog-o-nal term rewrit-ing sys-tems, in: \OT1/cmr/m/it/10 Proc.

 []


Underfull \hbox (badness 10000) in paragraph at lines 1742--1745
[]\OT1/cmr/m/n/10 J.W. Klop, Term rewrit-ing sys-tems, in:
 []


Underfull \hbox (badness 1448) in paragraph at lines 1770--1773
\OT1/cmr/m/n/10 calculus, in: J.R. Hind-ley and J.P. Seldin,
 []


Underfull \hbox (badness 1308) in paragraph at lines 1770--1773
\OT1/cmr/m/it/10 Logic, Lambda-calculus and For-mal-ism \OT1/cmr/m/n/10 (Aca-
 []


Underfull \hbox (badness 1062) in paragraph at lines 1795--1800
\OML/cmm/m/it/10 ^^U^^[$\OT1/cmr/m/n/10 -calculus en-joys fi-nite nor-mal-iza-t
ion cones,
 []


Underfull \hbox (badness 1303) in paragraph at lines 1821--1824
[]\OT1/cmr/m/n/10 E. N^^?ocker, Ef-fi-cient func-tional pro-gram-ming:
 []

[11]
Commutative Diagram: try the PostScript option for better results
[12

] (infnormG.aux) ) 
Here is how much of TeX's memory you used:
 2655 strings out of 5927
 20653 string characters out of 28819
 86046 words of memory out of 200001
 5486 multiletter control sequences out of 10000
 21056 words of font info for 77 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 110i,13n,19p,450b,503s stack positions out of 600i,150n,200p,3000b,2000s

Output written on infnormG.dvi (12 pages, 85116 bytes).