Checksum: 53485a5d34f1993ee4ab214abd3d0c932371567ab5ce27dad14b07489c564851 (page 1)

• acl2/8.6+dfsg-2/books/models/jvm/m6/small/consistent-state-properties.acl2
• acl2/8.6+dfsg-3/books/models/jvm/m6/small/consistent-state-properties.acl2