NOTE-4-2(R)
ACL2 Version 4.2(r) (January, 2011) Notes
Major Section:
RELEASE-NOTES
Please see
note-4-2
for changes in Version 4.2 of ACL2.
