Re: change-class and class redefinition

[David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>]

    Date: 23 Jan 87 11:40 PST
    From: Gregor.pa@Xerox.COM

    I like this argument, and am now happy with the change-class, class-changed part of this.

Since we seem to be in agreement, I asked Sonya to put a somewhat cleaned up version
of what I mailed out into the document in the next round of editing.  You'll see it
there and can comment further.  There are still a few open questions, maybe the right
thing is just to list the open questions in the document and deal with them later.
In this case, I think the open questions are open because no one has an opinion,
rather than because we have too many contradictory opinions.