NOTE-3-6(R)
ACL2 Version 3.6(r) (August, 2009) Notes
Major Section:
RELEASE-NOTES
Please also see
note-3-6
for changes in Version 3.6 of ACL2.
