Ignore:
Timestamp:
Sep 16, 2011, 5:15:35 PM (9 years ago)
Author:
mulligan
Message:

changes

File:
1 edited

Legend:

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

    r1218 r1223  
    33include "utilities/adt/set_adt.ma".
    44include "utilities/adt/table_adt.ma".
    5 include "utilities/adt/ordering.ma".
    65
    76axiom set_table: Type[0] → Type[0] → Type[0].
     
    2221                      → set_table key_type a -> b -> b.
    2322axiom set_tbl_pick: ∀key_type, a. set_table key_type (set a) →
    24                       (key_type → a → bool) → option (key_type × a).
     23                      ((key_type × a) → bool) → option (key_type × a).
    2524
    2625
Note: See TracChangeset for help on using the changeset viewer.