[sv-ac] LTL - precedence

From: Bustan, Doron <doron.bustan_at_.....>
Date: Mon Jan 14 2008 - 05:54:21 PST
Hi John, Johan,

 

Have you reached an agreement on the operators' precedence?

 

thanks

 

Doron


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Jan 14 05:55:25 2008

This archive was generated by hypermail 2.1.8 : Mon Jan 14 2008 - 05:55:38 PST