TY  - RPRT
TI  - Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1
AU  - Matt Kaufmann
AU  - J Strother Moore
PY  - 2013
DO  - 10.4204/eptcs.114.1
UR  - https://arxiv.org/abs/1304.7855
ID  - 1304.7855
ER  -