Changeset 2769


Ignore:
Timestamp:
Mar 3, 2013, 2:59:55 PM (7 years ago)
Author:
mckinna
Message:

Mistakenly commented out
both as_cost_get_label (needed; OK)
as well as as_cost_get_labels (not needed; not OK)

Losing it...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StructuredTraces.ma

    r2768 r2769  
    6868  λS : abstract_status. list (as_cost_label S).
    6969
    70 (*
    7170definition as_cost_get_label ≝
    7271  λS : abstract_status. λl_sig: as_cost_label S. pi1 … l_sig.
    7372
     73(*
    7474(* JHM: this no longer is a complete definition! but not used; so commented out for now *)
    7575definition as_cost_get_labels ≝
Note: See TracChangeset for help on using the changeset viewer.