Checksum: 93d5a7541171edbfb332792571b5941ce5bbe774904534e6880b8b17831b951f (page 1)

• acl2/8.0dfsg-1/books/nonstd/workshops/2017/cayley/cayley2a.lisp
• acl2/8.3dfsg-2/books/nonstd/workshops/2017/cayley/cayley2a.lisp
• acl2/8.5dfsg-5/books/nonstd/workshops/2017/cayley/cayley2a.lisp
• acl2/8.6+dfsg-2/books/nonstd/workshops/2017/cayley/cayley2a.lisp
• acl2/8.6+dfsg-3/books/nonstd/workshops/2017/cayley/cayley2a.lisp