% -*- 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{{14.10}}

\def\timestamp{{Tue 5-Oct-1993 5:00pm EDT}}