NOTE-3-3(R)
ACL2 Version 3.3(r) (xxx, 20xx) Notes
Major Section:
RELEASE-NOTES
Please also see
note-3-3
for changes to Version 3.3 of ACL2.
