1 Global Changes

Throughout the entire Summary:

Abstract Syntax Constructor Names

Change the names of abstract syntax constructors as follows, to avoid clashes with the reserved words of the concrete syntax of CASL:

        sorts           |->     sort-list
        associative     |->     assoc-op-attr
        commutative     |->     comm-op-attr
        idempotent      |->     idem-op-attr
        true            |->     true-atom
        false           |->     false-atom
        forall          |->     universal
        exists          |->     existential
        exists-uniquely |->     unique-existential
        hide            |->     hidden
        reveal          |->     revealed
        imports         |->     imported
        sorts           |->     sorts-kind (in a SYMB-KIND)
        ops             |->     ops-kind
        preds           |->     preds-kind
        unit-imports    |->     unit-imported
        closed          |->     closed-unit-spec
        version         |->     version-number

For consistency of nomenclature, the following nonterminal symbols are changed accordingly (also in the grammar for concrete syntax):

        SORTS           |->     SORT-LIST
        HIDE            |->     HIDDEN
        REVEAL          |->     REVEALED
        IMPORTS         |->     IMPORTED
        UNIT-IMPORTS    |->     UNIT-IMPORTED
        SOME-IMPORTS    |->     SOME-IMPORTED
        VERSION         |->     VERSION-NUMBER

Display Format

Change the font used for the display of the keywords in attributes, alternatives, and formulae from boldface to italic. (This change is also implemented in the new version of the CASL package for LaTeX[Mos98b].)