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/set_adt.ma

    r1210 r1218  
    22include "basics/list.ma".
    33include "arithmetics/nat.ma".
     4include "ASM/Util.ma".
    45
    56include "utilities/adt/ordering.ma".
     
    2324  λelt_type: Type[0].
    2425  λset: set elt_type.
    25     set_size elt_type set = 0.
     26    eq_nat (set_size elt_type set) 0.
    2627
    2728definition set_singleton ≝
Note: See TracChangeset for help on using the changeset viewer.