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):
