FileDWIM.require
Copyright Ó 1992 by Xerox Corporation. All rights reserved.
Mike Spreitzer January 22, 1987 10:12:12 pm PST
Last tweaked by Mike Spreitzer on May 14, 1992 6:04 pm PDT
Pavel, September 3, 1987 11:03:22 pm PDT
Willie-s, April 7, 1992 12:47 pm PDT