[sv-ac] draft 7a cross review

Hi Dmitry:

I went through the changed parts of Draft 7a for
my sections.  I also looked quickly over Annex F.

I found a few things below and gave changes to 
address Editor Notes.

J.H.

Draft 7a Cross Review:
----------------------

. Annex F.3.4.5, change "Let specify(b) is" to "Let specify(b) be".
  Rationale:  Grammar.

. Annex F.3.4.4.6.  The two definitions of reject_on differ only in
  the use of parentheses and cases for "P".  One of them needs to
  be removed.  The one with more parentheses is clearer and should
  stay.

. Annex F.5.3.1.  The second definition of "w |= accept_on (b) P"
  needs to be deleted.

. Annex F.5.3.3.  Change "we have that" to "it holds that" in three
  places.

. Annex F.5.6.1.  The second definition of "w,L_0 |= accept_on (b) P"
  needs to be deleted.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.