% -*- 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.17R}}

\def\timestamp{{Fri 12-Aug-1994 6:35pm EDT}}