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