Ignore:
Timestamp:
Sep 14, 2011, 4:14:59 PM (9 years ago)
Author:
mulligan
Message:

fixed interference file

File:
1 edited

Legend:

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

    r1210 r1211  
    2020axiom rt_remove: vertex → register_table → register_table.
    2121
    22 axiom rt_fold: ∀a: Type[0]. (vertex → set … set_impl Register → a → a) →
    23    register_table → a → a;
     22axiom rt_fold: ∀a: Type[0]. (vertex → set Register → a → a) →
     23   register_table → a → a.
    2424
    2525axiom rt_coalesce: vertex → vertex → register_table → register_table.
Note: See TracChangeset for help on using the changeset viewer.