[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Amendments requiring additional writing

> Here is a replacement for pages 1-11 and 1-12, based on the referenced
> mail and the latest CONCEP.TEX on SAIL.  I offered to write this because

This looks OK to me. We'll need a specification for
UPDATE-INSTANCE-STRUCTURE in addition, for Section 2.