This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20)  7 OCT 1997 16:27
**&Big-LaTeX acoi.tex
(acoi.tex
LaTeX2e <1995/12/01> patch level 2
(:TeX-inputs:LaTeX:article.cls
Document Class: article 1995/12/20 v1.3q Standard LaTeX document class
(:TeX-inputs:LaTeX:size10.clo
File: size10.clo 1995/12/20 v1.3q 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
) (:User:TeX-inputs:diagrams.tex
<Paul Taylor's commutative diagrams, version 3.84, September 1996>
***********************************************************
! THIS IS AN EXPERIMENTAL VERSION OF COMMUTATIVE DIAGRAMS *
! it expired in (September 1997) and is time-bombed for January *
! You may obtain an up to date version of this package by *
! "anonymous FTP" from theory.doc.ic.ac.uk (146.169.2.27) *
***********************************************************
\CD@sA=\count87
\CD@tA=\count88
\CD@uA=\count89
\CD@vA=\count90
\CD@OA=\dimen103
\CD@PA=\dimen104
\CD@RA=\dimen105
\CD@SA=\dimen106
\CD@wA=\count91
\CD@xA=\count92
\CD@QA=\dimen107
\CD@DA=\box26
\CD@rG=\count93
\CD@LC=\count94
\CD@CH=\dimen108
\CD@qC=\dimen109
\CD@dH=\dimen110
\CD@xE=\dimen111
\CD@OI=\dimen112
\PileSpacing=\dimen113
\CD@lA=\dimen114
\CD@UB=\dimen115
\DiagramCellHeight=\dimen116
\DiagramCellWidth=\dimen117
\MapShortFall=\dimen118
\CD@gA=\dimen119
\rh+:>=\box27
\rt+:<=\box28
\dh+:>=\box29
\dt+:<=\box30
\rt+:>=\box31
\rh+:<=\box32
\dt+:>=\box33
\dh+:<=\box34
\CD@LE=\toks14
\CD@IE=\toks15
\CD@VA=\count95
\CD@CE=\toks16
\CD@NE=\toks17
\CD@HE=\toks18
\CD@JE=\toks19
\CD@GE=\toks20
\CD@ME=\toks21
\CD@EE=\toks22
\CD@FE=\toks23
\CD@DE=\toks24
\CD@KE=\toks25
\CD@CA=\count96
\CD@TB=\count97
\CD@JB=\count98
\CD@FA=\count99
\CD@jA=\count100
\CD@IB=\count101
\CD@EB=\count102
\CD@rF=\box35
\CD@pF=\box36
\DiagonalChoice=\count103
\objectheight=\dimen120
\objectwidth=\dimen121
\CD@NA=\toks26
\CD@YI=\toks27
\CD@QH=\toks28
\CD@WD=\toks29
\CD@MH=\toks30
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 1796.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 1796.
)
(:TeX-inputs:LaTeX:latexsym.sty
Package: latexsym 1995/11/28 v2.2c 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 85.
) (acoi.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
\c@thm=\count104
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 214.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 214.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 214.
LaTeX Font Info:    Try loading font information for U+lasy on input line 214.
 (:TeX-inputs:LaTeX:Ulasy.fd
File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 224.

[1

] [2]
Overfull \hbox (0.58432pt too wide) in paragraph at lines 422--449
\OT1/cmr/m/n/10 A DRS is an \OT1/cmr/m/it/10 Ab-stract re-duc-tion Sys-tem \OT1
/cmr/m/n/10 (ARS) with an ax-iom-a-tized resid-ual re-la-tion. An ARS [[]]
 []

[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
Underfull \hbox (badness 1389) in paragraph at lines 1855--1857
[][]\OT1/cmr/m/n/10 Gonthier G., Abadi M., L^^Sevy J.-J. The ge-om-e-try of op-
ti-mal lambda re-duc-tion.
 []

[15] [16]
Underfull \hbox (badness 10000) in paragraph at lines 2069--2092

 []


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

 []

[17] [18]
Commutative Diagram: try the PostScript option for better results
[19] [20] (acoi.aux) ) 
Here is how much of TeX's memory you used:
 2402 strings out of 5927
 18597 string characters out of 28921
 93715 words of memory out of 200001
 5267 multiletter control sequences out of 10000
 10901 words of font info for 42 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 110i,11n,21p,445b,437s stack positions out of 600i,150n,200p,3000b,2000s

Output written on acoi.dvi (20 pages, 119492 bytes).