*UNOFFICIAL* git mirror of the ACL2 Books svn repository.