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