[sv-ac] F.3.4.3.8 (p_until q) should be (p until q)

Editorial change:
F.3.4.3.8 Derived unbounded temporal operators
FROM:
— (p s_until q) == ((p_until q) and s_eventually q).

TO:
(p s_until q) == *((p until q)* and s_eventually q)

I hope that we can do that without a mantis.
This may have been brought up
Ben

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