Skipped content of type multipart/alternative-------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: image/gif Size: 826 bytes Desc: not available Url : http://lists.csl.sri.com/pipermail/yices-help/attachments/20080811/71c1007b/attachment.gif