Checksum: 7a76414e65ef02b887f93c445d7e1b520bbfec8737c1f573548ff6d49c7b94ee (page 1)

• acl2/6.5-2/books/projects/milawa/ACL2/bootstrap/logic/formulas-2-equal.lisp
• acl2/6.5-2~bpo70+1/books/projects/milawa/ACL2/bootstrap/logic/formulas-2-equal.lisp
• acl2/7.2dfsg-3/books/projects/milawa/ACL2/bootstrap/logic/formulas-2-equal.lisp
• acl2/8.0dfsg-1/books/projects/milawa/ACL2/bootstrap/logic/formulas-2-equal.lisp
• acl2/8.3dfsg-2/books/projects/milawa/ACL2/bootstrap/logic/formulas-2-equal.lisp
• acl2/8.5dfsg-5/books/projects/milawa/ACL2/bootstrap/logic/formulas-2-equal.lisp
• acl2/8.6+dfsg-2/books/projects/milawa/ACL2/bootstrap/logic/formulas-2-equal.lisp
• acl2/8.6+dfsg-3/books/projects/milawa/ACL2/bootstrap/logic/formulas-2-equal.lisp