Checksum: b005026a41a66ed9104948a313c6084818d2371737e5d94154deaeef3c7e8dad (page 1)

• acl2/6.5-2/books/models/jvm/m1-original/problem-set-1-answers.acl2
• acl2/6.5-2~bpo70+1/books/models/jvm/m1-original/problem-set-1-answers.acl2
• acl2/7.2dfsg-3/books/models/jvm/m1-original/problem-set-1-answers.acl2
• acl2/8.0dfsg-1/books/models/jvm/m1-original/problem-set-1-answers.acl2
• acl2/8.3dfsg-2/books/models/jvm/m1-original/problem-set-1-answers.acl2
• acl2/8.5dfsg-5/books/models/jvm/m1-original/problem-set-1-answers.acl2
• acl2/8.6+dfsg-2/books/models/jvm/m1-original/problem-set-1-answers.acl2
• acl2/8.6+dfsg-3/books/models/jvm/m1-original/problem-set-1-answers.acl2