This is TeX, Version 3.14159 (C version 6.1) (format=amstex 97.10.9)  7 JUN 2000 17:41
**isen
(isen.tex

AmS-TeX- Version 2.1
COPYRIGHT 1985, 1990, 1991 - AMERICAN MATHEMATICAL SOCIETY
Use of this macro package is not restricted provided
each use is acknowledged upon publication.

Hyphenation patterns for english, dutch, dutch, german, loaded.
(/software/teTeX/texmf/tex/amstex/base/amstex.tex)

(../amstexs1.sty version 2.1 (November 1995):
(/software/teTeX/texmf/tex/amstex/base/amsppt.sty version 2.1c (11-Dec-1992):
Loading utility definitions, more fonts, symbol names
(/software/teTeX/texmf/tex/amstex/base/amssym.tex) , page dimension settings,
top matter, section heads, theorems/proofs/definitions/remarks, rosters,
footnotes, figures and captions, miscellaneous, references, end of document,
output routine, hyphenation exceptions (U.S. English)

)) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
[17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] )
Output written on isen.dvi (28 pages, 137860 bytes).