TY  - RPRT
TI  - Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
AU  - Matt Kaufmann
AU  - J Strother Moore
PY  - 2014
DO  - 10.4204/eptcs.152.1
UR  - https://arxiv.org/abs/1406.1556
ID  - 1406.1556
ER  -