See
http://verificationguild.com/modules.php?name=Forums&file=viewtopic&p=18142#18142
Lrm reference ?
Question is somewhat related to our upcoming discussion in interfaces and
checkers.
Ben
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Jun 14 06:17:50 2010
This archive was generated by hypermail 2.1.8 : Mon Jun 14 2010 - 06:18:00 PDT