ACL2 Books Downloads for Some Older ACL2 Versions


NOTE:
The ACL2 system and community books (libraries) are distributed on github as a single gzipped tar file or zip file (your choice), starting with ACL2 Version 7.0.


Below are links to gzipped tar files for to Community Books for ACL2 versions prior to 7.0. Those listed for Versions 6.4 and earlier were hosted at http://acl2-books.googlecode.com/.