[Scl] Re: Report on Common Logic

[John F. Sowa]

Pat,

I recognize the need to get our job done ASAP, so I will
try not to delay any progress.  Just two brief comments:

 1. I'm willing to withdraw my objections to seqvars
    as a separate kind of variable if you can succeed
    in simplifying Chris's document.

 2. The axiomatization for sequences that I was recommending
    is the one that has already been published in the Z
    standard.

I plan to recommend #2 as the way to handle lists in CGs,
and if #1 is simple enough, I will write the definition of
a seqvar mechanism for CGs.  If I am really lucky, it might
even be possible to use the same CG syntax for *either*
seqvar's or true sequences a la Z.

John