This is TeX, Version 1.3 for Berkeley UNIX (preloaded format=gsibotex 87.10.29)  25 MAY 1988 16:50
**Short.botex 
(Short.botex This is BoTeX, Version 1.23 of 29 October 1987
(/usr/lib/tex/macros/patbo.lib) (/usr/lib/tex/macros/byf1.lib)
Cross reference for Short (Short.aux) (title-page.botex [1])
(copyright-page.botex [2])
Output written on Short.dvi (2 pages, 1312 bytes).