Warning: This message has had one or more attachments removed Warning: (2007.9.12.LTL.pdf). Warning: Please read the "eda.org-Attachment-Warning.txt" attachment(s) for more information. I have modify the 1932 proposal to define the "imply" and "iff" property operations. --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies.
This archive was generated by hypermail 2.1.8 : Wed Sep 12 2007 - 00:20:32 PDT