% -*- Mode: TeX -*-
% This file is automatically generated.  If you edit it by hand,
% change only the version number and nothing else. -kmp 04-Oct-90

\def\rev{{15.17}}

\def\timestamp{{Wed 11-May-1994 6:57pm EDT}}