This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2006.7.23)  11 AUG 2006 14:37
entering extended mode
**oz.tex
(./oz.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.
(/usr/share/texmf-tetex/tex/latex/base/article.cls
Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-tetex/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
) (./oz.sty
Package: oz 1995/10/03 2.41 Object Z macros
\c@mv@oz=\count87
LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `oz'
(Font)                  OT1/cmr/m/n --> OT1/cmr/m/n on input line 74.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `oz'
(Font)                  OT1/cmr/bx/n --> OT1/cmr/bx/n on input line 74.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `oz'
(Font)                  OT1/cmss/m/n --> OT1/cmss/m/n on input line 74.
\symitalics=\mathgroup4
LaTeX Font Info:    Redeclaring math alphabet \mathrm on input line 74.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 74.
LaTeX Font Info:    Redeclaring math alphabet \mathcal on input line 74.
\symlasy=\mathgroup5
\symAMSa=\mathgroup6
\symAMSb=\mathgroup7
\strutbox@=\box26
\big@size=\dimen103
LaTeX Font Info:    Redeclaring math symbol \sqsubset on input line 352.
LaTeX Font Info:    Redeclaring math symbol \sqsupset on input line 352.
LaTeX Font Info:    Redeclaring math symbol \mho on input line 352.
LaTeX Font Info:    Redeclaring math symbol \hbar on input line 352.
\z@combox=\box27
\z@wdcalc=\dimen104
\z@stackmin=\count88
\z@stackmax=\count89
\z@stacktop=\count90
\@gtempa=\dimen105
\@gtempa=\dimen106
\@gtempa=\dimen107
\@gtempa=\dimen108
\@gtempa=\dimen109
\@gtempa=\dimen110
\@gtempa=\dimen111
\@gtempa=\dimen112
\@gtempa=\dimen113
\@gtempa=\dimen114
\@gtempa=\dimen115
\@gtempa=\dimen116
\@gtempa=\dimen117
\@gtempa=\dimen118
\@gtempa=\dimen119
\@gtempa=\dimen120
\@gtempa=\dimen121
\@gtempa=\dimen122
\@gtempa=\dimen123
\@gtempa=\dimen124
\@gtempa=\dimen125
\@gtempa=\dimen126
\@gtempa=\dimen127
\@gtempa=\dimen128
\@gtempa=\dimen129
\@gtempa=\dimen130
\@gtempa=\dimen131
\@gtempa=\dimen132
\@gtempa=\dimen133
\@gtempa=\dimen134
\@gtempa=\dimen135
\@gtempa=\dimen136
\@gtempa=\dimen137
\@gtempa=\dimen138
\@gtempa=\dimen139
\@gtempa=\dimen140
\@gtempa=\dimen141
\@gtempa=\dimen142
\@gtempa=\dimen143
\@gtempa=\dimen144
\@gtempa=\dimen145
\@gtempa=\dimen146
\@gtempa=\dimen147
\@gtempa=\dimen148
\@gtempa=\dimen149
\@gtempa=\dimen150
\@gtempa=\dimen151
\@gtempa=\dimen152
\@gtempa=\dimen153
\@gtempa=\dimen154
\z@curline=\box28
\z@curindent=\dimen155
\z@curfield=\box29
\zedindent=\dimen156
\zedleftsep=\dimen157
\zedtab=\dimen158
\zedbar=\dimen159
\zedlinethickness=\dimen160
\zedcornerheight=\dimen161
\z@cols=\count91
\zedbaselineskip=\skip43
\zstrutbox=\box30
\interzedlinepenalty=\count92
\preboxpenalty=\count93
\forcepagepenalty=\count94
\z@adskip=\skip44
\z@bdskip=\skip45
\z@adsskip=\skip46
\z@bdsskip=\skip47
\z@temp=\dimen162
)
! Undefined control sequence.
l.13 \footheight
                 16 pt
? 

! LaTeX Error: Missing \begin{document}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.13 \footheight 1
                  6 pt
? 

LaTeX Warning: Unused global option(s):
    [threecolumn].

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

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 38.
LaTeX Font Info:    ... okay on input line 38.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 38.
LaTeX Font Info:    ... okay on input line 38.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 38.
LaTeX Font Info:    ... okay on input line 38.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 38.
LaTeX Font Info:    ... okay on input line 38.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 38.
LaTeX Font Info:    ... okay on input line 38.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 38.
LaTeX Font Info:    ... okay on input line 38.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <14.4> on input line 40.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 40.
LaTeX Font Info:    Try loading font information for U+lasy on input line 40.
 (/usr/share/texmf-tetex/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
LaTeX Font Info:    Try loading font information for U+msa on input line 40.

(/usr/share/texmf-tetex/tex/latex/amsfonts/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 40.

(/usr/share/texmf-tetex/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <10.95> on input line 50.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 50.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 50.
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 55.

(/usr/share/texmf-tetex/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 55.

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

 []

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 128.
[1

] [2] [3] [4]
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 494.

Overfull \hbox (30.85445pt too wide) in paragraph at lines 510--510
 []\OT1/cmtt/m/n/10 & \bbar & schemaT \lang IDENT \ffun TYPE \rang \\[] 
 []


Overfull \hbox (36.1044pt too wide) in paragraph at lines 510--510
 []\OT1/cmtt/m/n/10 & \bbar & classT \lang IDENT \ffun ClassAttr \rang[] 
 []


Overfull \hbox (9.85463pt too wide) in paragraph at lines 533--533
 []\OT1/cmtt/m/n/10 \bbar schemaT \lang IDENT \ffun TYPE \rang \\[] 
 []


Overfull \hbox (30.85445pt too wide) in paragraph at lines 533--533
 []\OT1/cmtt/m/n/10 \bbar classT \lang IDENT \ffun ClassAttr \rang \O[] 
 []

[5] [6]
Overfull \hbox (3.26591pt too wide) in paragraph at lines 661--666
\OT1/cmr/m/n/10.95 Multi-letter iden-ti-fiers have been changed to look bet-ter
 than they do with vanilla L[]T[]X: in-stead of $\OML/cmm/m/it/10.95 specificat
ions$\OT1/cmr/m/n/10.95 ,
 []

! Undefined control sequence.
l.683 \threecolumn
                  
? 
[7] [8] [9]
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 873.
 [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21]
[22]
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <17.28> on input line 1505.
 [23] (./oz.aux) ) 
Here is how much of TeX's memory you used:
 1041 strings out of 94501
 9532 string characters out of 1175811
 62714 words of memory out of 1000000
 4241 multiletter control sequences out of 10000+50000
 20569 words of font info for 82 fonts, out of 500000 for 2000
 580 hyphenation exceptions out of 8191
 24i,20n,29p,209b,373s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on oz.dvi (23 pages, 54504 bytes).