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