Checksum: f41150ff775d21bbe9f102f974479531d834ba3bda2852d3bedd4c0a5d5b0a3e (page 1)

• acl2/8.0dfsg-1/books/projects/sat/proof-checker-itp13/rat-1
• acl2/8.3dfsg-2/books/projects/sat/proof-checker-itp13/rat-1
• acl2/8.5dfsg-5/books/projects/sat/proof-checker-itp13/rat-1
• acl2/8.6+dfsg-2/books/projects/sat/proof-checker-itp13/rat-1
• acl2/8.6+dfsg-3/books/projects/sat/proof-checker-itp13/rat-1