Ignore:
Timestamp:
Sep 15, 2011, 4:56:30 PM (9 years ago)
Author:
mulligan
Message:

a lot added to interference graph calculation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/adt/table_adt.ma

    r1210 r1218  
    3535axiom tbl_map    : ∀key_type, rng_type. ∀a: Type[0]. (rng_type → a) → table key_type rng_type
    3636                   → table key_type a.
    37 axiom tbl_fold   : ∀key_type, rng_type. ∀a: Type[0]. (key_type → a → a) → table key_type rng_type → a → a.
     37axiom tbl_fold   : ∀key_type, a, b: Type[0]. (key_type → a → b → b) → table key_type a → b → b.
    3838
    3939definition tbl_is_empty ≝
Note: See TracChangeset for help on using the changeset viewer.