@Inproceedings{EPTCS152.2, author = {Davis, Jared and Kaufmann, Matt}, year = {2014}, title = {Industrial-Strength Documentation for ACL2}, editor = {Verbeek, Freek and Schmaltz, Julien}, booktitle = {{\rm Proceedings Twelfth International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Vienna, Austria, 12-13th July 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {152}, publisher = {Open Publishing Association}, pages = {9-25}, doi = {10.4204/EPTCS.152.2}, }