NOTE-4-1(R)
ACL2 Version 4.1(r) (September, 2010) Notes
Major Section:
RELEASE-NOTES
Please see
note-4-1
for changes in Version 4.1 of ACL2.
