Uploaded http://www.eda-stds.org/svdb/view.php?id=2578
Update on vacuity for the implies operator.
Dmitry, please add this to the morning agenda.
I have another commitment at 10am PST.
Ben Cohen
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Aug 1 16:03:11 2011
This archive was generated by hypermail 2.1.8 : Mon Aug 01 2011 - 16:03:16 PDT