This is TeX, Version 3.1415 (C version 6.1) (format=lplain 94.2.9)  4 MAR 1994 10:19
**reals.tex
(reals.tex
LaTeX Version 2.09 <25 March 1992>
(/usr/lib/tex/macros/latex/book.sty
Standard Document Style `book' <14 Jan 92>.
(/usr/lib/tex/macros/latex/bk12.sty)
\descriptionmargin=\dimen99
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
) (/usr/lib/tex/macros/latex/fleqn.sty
Document style option `fleqn' - Released 04 Nov 91
\mathindent=\dimen100
) (../../../Manual/LaTeX/alltt.sty) (../../../Manual/LaTeX/layout.sty
\@myenumdepth=\count88
\c@myenumi=\count89
)
(../../../Manual/LaTeX/commands.tex
\minipagewidth=\skip41
\hsbw=\skip42
\c@sessioncount=\count90
) (../../../Manual/LaTeX/ref-macros.tex)
\@indexfile=\write3

Writing index file reals.idx 
(reals.aux (title.aux) (description.aux) (theorems.aux) (references.aux)
(index.aux)) (title.tex [1


] [2]) (reals.toc)
\tf@toc=\write4
 [3


] [4

] (description.tex
Chapter 1.

Overfull \hbox (12.25064pt too wide) in paragraph at lines 16--21
\twlrm the-o-ries \twltt REAL \twlrm and \twltt TRANSC \twlrm to au-toload, and
 pro-vides an in-ter-face map in \twltt real[]interface[]map

\hbox(8.33331+2.66666)x455.24408, glue set - 1.0
.\twlrm t
.\twlrm h
.\twlrm e
.\discretionary
..\twlrm -
.\twlrm o
.etc.

[1


] [2]) [3] (theorems.tex [4



]
Chapter 2.
(theorems-intro.tex) [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
[17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31]
[32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46]
[47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61]
[62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72]) [73] (references.tex
[74



]) [75] (index.tex [76



] [77] [78] [79] [80] [81] [82] [83] [84] [85]
[86]) (reals.aux (title.aux) (description.aux) (theorems.aux) (references.aux)
(index.aux)) ) 
Here is how much of TeX's memory you used:
 458 strings out of 11977
 3789 string characters out of 87025
 35859 words of memory out of 262141
 2301 multiletter control sequences out of 9500
 19304 words of font info for 73 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 18i,12n,17p,177b,456s stack positions out of 300i,100n,60p,3000b,4000s

Output written on reals.dvi (90 pages, 139884 bytes).
