Introduction Suggested ACL2 Enhancements {dagreve,mmwildin,dshardin}@collins.rockwell.com Rockwell Collins, Cedar Rapids IA