Changeset 738 for src/common/Graphs.ma


Ignore:
Timestamp:
Apr 4, 2011, 5:13:10 PM (9 years ago)
Author:
campbell
Message:

Use lower case names for identifiers for consistency with CompCert? derived code
and to prevent confusion with the back-end equivalents until they're all merged.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Graphs.ma

    r736 r738  
    66axiom LabelTag : String.
    77
    8 definition label ≝ Identifier LabelTag.
     8definition label ≝ identifier LabelTag.
    99
    1010definition label_eq : ∀x,y:label. (x=y) + (x≠y) ≝ identifier_eq ?.
    1111
    1212
    13 definition graph : Type[0] → Type[0] ≝ IdentifierMap LabelTag.
     13definition graph : Type[0] → Type[0] ≝ identifier_map LabelTag.
Note: See TracChangeset for help on using the changeset viewer.