NOTE-2-6

ACL2 Version 2.6 (November, 2001) Notes
Major Section:  RELEASE-NOTES

Because of the large number of modifications, we have divided up the Version 2.6 notes into the following subtopics.

o New functionality (see note-2-6-new-functionality):
o Changes in proof engine (see note-2-6-proofs):
o Changes in rules and definitions (see note-2-6-rules):
o Guard-related changes (see note-2-6-guards):
o Proof-checker changes (see note-2-6-proof-checker):
o System-level changes (see note-2-6-system):
o Other (minor) changes (see note-2-6-other):

Some Related Topics