NOTE-2-6.html -- ACL2 Version 6.3

## 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

- ### NOTE-2-6-GUARDS -- ACL2 Version 2.6 Notes on Guard-related Changes

- ### NOTE-2-6-NEW-FUNCTIONALITY -- ACL2 Version 2.6 Notes on New Functionality

- ### NOTE-2-6-OTHER -- ACL2 Version 2.6 Notes on Other (Minor) Changes

- ### NOTE-2-6-PROOF-CHECKER -- ACL2 Version 2.6 Notes on Proof-checker Changes

- ### NOTE-2-6-PROOFS -- ACL2 Version 2.6 Notes on Changes in Proof Engine

- ### NOTE-2-6-RULES -- ACL2 Version 2.6 Notes on Changes in Rules and Constants

- ### NOTE-2-6-SYSTEM -- ACL2 Version 2.6 Notes on System-level Changes