NOTE-3-1

ACL2 Version 3.1 (December, 2006) Notes
Major Section:  RELEASE-NOTES

NOTE! New users can ignore these release notes, because the documentation has been updated to reflect all changes that are recorded here.

Please see note-3-0-2 for a description of changes since Version 3.0.1, and also see note-3-0-1 for additional changes since Version 3.0.