This is TeX, C Version 3.14t3 (format=lplain 92.4.27)  4 MAY 1992 13:25
**angelic
(angelic.tex
LaTeX Version 2.09 <7 Dec 1989>
(/import/tex-supported/lib/tex/inputs/article.sty
Document Style `article' <16 Mar 88>.
(/import/tex-supported/lib/tex/inputs/art10.sty)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
)
(/net/tigger/tigger/saraswat/tex/vijay-macros.tex
Document Style 'thesis-art-two-column'. (c) Vijay Saraswat November 1987.
\OrSepBox=\box25
\ColSepBox=\box26
\AskBox=\box27
\gAskBox=\box28
\InfrmBox=\box29
\globalparindent=\skip41
Document Style ``program'' by Vijay Saraswat, July 1987.
\wfhbidaBox=\box30
\c@theorem=\count87
\c@conjecture=\count88
\c@Fact=\count89
\c@Rule=\count90
\eStop=\box31
\c@assumption=\count91
\c@convention=\count92
\c@example=\count93
\c@comment=\count94
\c@digression=\count95
\c@defin=\count96
\c@note=\count97
)
\c@MetaNote=\count98
\c@TechComm=\count99
 (angelic.aux) [1

] [2] [3]
Overfull \hbox (14.83337pt too wide) in paragraph at lines 321--366
[][] 

\hbox(133.00378+129.00378)x469.75499
.\hbox(0.0+0.0)x0.0
.\hbox(133.00378+129.00378)x484.58836
..\mathon
..\vbox(133.00378+129.00378)x484.58836
...\rule(0.4+0.0)x484.58836
...\hbox(8.0+253.20758)x484.58836 []
...\rule(0.4+0.0)x484.58836
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0

[4] [5] [6]
Overfull \hbox (14.83337pt too wide) in paragraph at lines 650--677
[][] 

\hbox(76.45555+72.45555)x469.75499
.\hbox(0.0+0.0)x0.0
.\hbox(76.45555+72.45555)x484.58836
..\mathon
..\vbox(76.45555+72.45555)x484.58836
...\rule(0.4+0.0)x484.58836
...\hbox(8.0+140.11111)x484.58836 []
...\rule(0.4+0.0)x484.58836
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0

[7] [8] [9] [10] [11] (angelic.bbl) [12]
LaTeX error.  See LaTeX manual for explanation.
              Type  H <return>  for immediate help.
! \begin{theorem} ended by \end{document}.
\@latexerr ...for immediate help.}\errmessage {#1}
                                                  
\@checkend ...empa \@currenvir \else \@badend {#1}
                                                  \fi 
\enddocument ->\@checkend {document}
                                    \clearpage \begingroup \if@filesw \immed...

\end #1->\csname end#1\endcsname 
                                 \def \sptabfont {#1}\ifmmode \else \ifx \sp...
l.1042 \end{document}
                     
? 
(angelic.aux) ) 
Here is how much of TeX's memory you used:
 754 strings out of 4463
 5423 string characters out of 63197
 46224 words of memory out of 262141
 2673 multiletter control sequences out of 9500
 21339 words of font info for 80 fonts, out of 72000 for 255
 14 hyphenation exceptions out of 607
 13i,28n,17p,232b,398s stack positions out of 300i,40n,60p,3000b,4000s

Output written on angelic.dvi (12 pages, 74560 bytes).