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

\def\timestamp{{Thu 9-Apr-1992 2:33am EDT}}
