This is TeX, Version 3.14159 (preloaded format=LaTeX 95.7.26)  8 SEP 1996 21:23
**&Big-LaTeX MinOpt-SYS-C94-06.tex
(MinOpt-SYS-C94-06.tex
LaTeX2e <1994/12/01> patch level 3
(:TeX-inputs:LaTeX:article.cls
Document Class: article 1994/12/09 v1.2x Standard LaTeX document class
(:TeX-inputs:LaTeX:size12.clo
File: size12.clo 1994/12/09 v1.2x Standard LaTeX file (size option)
)
\c@part=\count82
\c@section=\count83
\c@subsection=\count84
\c@subsubsection=\count85
\c@paragraph=\count86
\c@subparagraph=\count87
\c@figure=\count88
\c@table=\count89
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
LaTeX Info: Redefining \cal on input line 455.
LaTeX Info: Redefining \mit on input line 456.
\bibindent=\dimen102
) (:User:TeX-inputs:ueareport.sty
Package `ueareport' -- 11 June 1996.
(:TeX-inputs:Graphics:epsfig.sty
Package: epsfig 1994/06/07 1.3 (SPQR)
 (:TeX-inputs:Graphics:graphicx.sty
Package: graphicx 1994/11/29 v0.5a Enhanced LaTeX Graphics (DPC,SPQR)

(:TeX-inputs:Graphics:keyval.sty
Package: keyval 1994/09/12 v1.08 key=value parser (DPC)
) (:TeX-inputs:Graphics:graphics.sty
Package: graphics 1994/12/15 v0.6c Standard LaTeX Graphics (DPC,SPQR)

(:TeX-inputs:Graphics:trig.sty
Package: trig 1994/10/16 v1.08 sin cos tan (DPC)
) (:TeX-inputs:Graphics:graphics.cfg)
Package graphics Info: Driver file: oztex.def on input line 88.

(:TeX-inputs:Graphics:oztex.def
File: oztex.def 1994/12/12 v2.6 Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
\epsfxsize=\dimen105
\epsfysize=\dimen106
)) (:User:TeX-inputs:diagrams.tex
<Paul Taylor's commutative diagrams, version 3.83, 18 May 1995>
***********************************************************
! THIS IS AN EXPERIMENTAL VERSION OF COMMUTATIVE DIAGRAMS *
! it expired in August 1996 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@pA=\count90
\Cd@qA=\count91
\Cd@rA=\count92
\Cd@sA=\count93
\Cd@KA=\dimen107
\Cd@LA=\dimen108
\Cd@NA=\dimen109
\Cd@OA=\dimen110
\Cd@tA=\count94
\Cd@uA=\count95
\Cd@MA=\dimen111
\Cd@@A=\box26
\Cd@gG=\count96
\Cd@KC=\count97
\Cd@sG=\dimen112
\Cd@nC=\dimen113
\Cd@NH=\dimen114
\Cd@qE=\dimen115
\Cd@@I=\dimen116
\PileSpacing=\dimen117
\Cd@hA=\dimen118
\Cd@TB=\dimen119
\DiagramCellHeight=\dimen120
\DiagramCellWidth=\dimen121
\MapShortFall=\dimen122
\Cd@cA=\dimen123
\rh+:>=\box27
\rt+:<=\box28
\dh+:>=\box29
\dt+:<=\box30
\rt+:>=\box31
\rh+:<=\box32
\dt+:>=\box33
\dh+:<=\box34
\Cd@EE=\toks14
\Cd@BE=\toks15
\Cd@RA=\count98
\Cd@wD=\toks16
\Cd@GE=\toks17
\Cd@AE=\toks18
\Cd@CE=\toks19
\Cd@@E=\toks20
\Cd@FE=\toks21
\Cd@yD=\toks22
\Cd@zD=\toks23
\Cd@xD=\toks24
\Cd@DE=\toks25
\Cd@z=\count99
\Cd@SB=\count100
\Cd@IB=\count101
\Cd@BA=\count102
\Cd@fA=\count103
\Cd@HB=\count104
\Cd@BB=\count105
\Cd@lF=\box35
\Cd@jF=\box36
\DiagonalChoice=\count106
\objectheight=\dimen124
\objectwidth=\dimen125
\Cd@JA=\toks26
\Cd@II=\toks27
\Cd@DH=\toks28
\Cd@RD=\toks29
\Cd@@H=\toks30
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 1818.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 1818.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 1818.
)
(:TeX-inputs:LaTeX:latexsym.sty
Package: latexsym 1994/09/25 v2.1f 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 47.
) (MinOpt-SYS-C94-06.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.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <14.4> on input line 22.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 22.
LaTeX Font Info:    Try loading font information for U+lasy on input line 22.

(:TeX-inputs:LaTeX:Ulasy.fd
File: Ulasy.fd 1994/09/25 v2.1fLaTeX symbol font definitions
) [0

]
\c@thm=\count107
\c@lem=\count108
\c@cor=\count109
\c@ex=\count110
\c@rem=\count111
\c@nota=\count112
\c@prop=\count113
\c@deff=\count114
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 174.

 (:TeX-inputs:LaTeX:OMScmr.fd
File: OMScmr.fd 1994/12/02 v2.3e Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 174.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 175.
 [1] [0

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

 [3]
[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
[20] [21] [22] [23] [24] [25] [26]
Underfull \hbox (badness 2277) in paragraph at lines 2503--2505
[][]\OT1/cmr/m/n/12 Barendregt H. P. The Lambda Cal-cu-lus, its Syn-tax and Se-
man-tics. North-
 []

[27] [28] [29] (MinOpt-SYS-C94-06.aux) ) 
Here is how much of TeX's memory you used:
 2688 strings out of 5906
 21976 string characters out of 28686
 81935 words of memory out of 200001
 5513 multiletter control sequences out of 10000
 11160 words of font info for 43 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 110i,9n,25p,998b,511s stack positions out of 600i,150n,200p,3000b,2000s

Output written on MinOpt-SYS-C94-06.dvi (32 pages, 148200 bytes).