Changeset 1964 for src/ASM/Interpret.ma


Ignore:
Timestamp:
May 17, 2012, 12:06:34 PM (8 years ago)
Author:
tranquil
Message:

introduced as_label_of_cost and adapted accordingly. Equality of cost mapping sums

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r1962 r1964  
    1818 #a #b
    1919 cases a cases b
    20  normalize
    2120 #K
    22  try %
    23  cases (eq_true_false K)
     21 try cases (eq_true_false K)
     22 %
    2423qed.
    2524
Note: See TracChangeset for help on using the changeset viewer.