Changeset 746 for src/common


Ignore:
Timestamp:
Apr 8, 2011, 11:51:38 AM (9 years ago)
Author:
mulligan
Message:

Changes to bitvectortrieset: equality on sets. Added new file for translation of variable set functor. other small changes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Graphs.ma

    r738 r746  
    1010definition label_eq : ∀x,y:label. (x=y) + (x≠y) ≝ identifier_eq ?.
    1111
    12 
    1312definition graph : Type[0] → Type[0] ≝ identifier_map LabelTag.
Note: See TracChangeset for help on using the changeset viewer.