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