Pictures from
Third International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2002)

These pictures have been kindly provided by Jun Sawada.