Checksum: ea80da800cc0d22a8d3ed38e35a7318bebcb45679cfb5581535f41c455476990 (page 1)

• acl2/6.5-2/books/models/jvm/guard-verified-m1/alternating-sum.lisp
• acl2/6.5-2/books/models/jvm/m1/alternating-sum.lisp
• acl2/6.5-2~bpo70+1/books/models/jvm/guard-verified-m1/alternating-sum.lisp
• acl2/6.5-2~bpo70+1/books/models/jvm/m1/alternating-sum.lisp
• acl2/7.2dfsg-3/books/models/jvm/guard-verified-m1/alternating-sum.lisp
• acl2/7.2dfsg-3/books/models/jvm/m1/alternating-sum.lisp
• acl2/8.0dfsg-1/books/models/jvm/guard-verified-m1/alternating-sum.lisp
• acl2/8.0dfsg-1/books/models/jvm/m1/alternating-sum.lisp
• acl2/8.3dfsg-2/books/models/jvm/guard-verified-m1/alternating-sum.lisp
• acl2/8.3dfsg-2/books/models/jvm/m1/alternating-sum.lisp
• acl2/8.5dfsg-5/books/models/jvm/guard-verified-m1/alternating-sum.lisp
• acl2/8.5dfsg-5/books/models/jvm/m1/alternating-sum.lisp
• acl2/8.6+dfsg-2/books/models/jvm/guard-verified-m1/alternating-sum.lisp
• acl2/8.6+dfsg-2/books/models/jvm/m1/alternating-sum.lisp
• acl2/8.6+dfsg-3/books/models/jvm/guard-verified-m1/alternating-sum.lisp
• acl2/8.6+dfsg-3/books/models/jvm/m1/alternating-sum.lisp