Contributing Books to ACL2

Please see the home page for ACL2 books, a page hosted on Google Code (not the University of Texas).