Ignore:
Timestamp:
Nov 29, 2012, 8:12:34 PM (7 years ago)
Author:
mckinna
Message:

more tweaks. compiler and correctness still build.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StructuredTraces.ma

    r2503 r2508  
    5252qed.
    5353
    54 (* cost maps generalities *)
     54(* cost map generalities *)
    5555
    5656definition as_cost_labelled ≝
     
    7070
    7171definition as_cost_map ≝
    72   (* λS : abstract_status. (Σl.∃pc.as_label_of_pc S pc = Some ? l) → ℕ. *)
    7372  λS : abstract_status. (as_cost_label S) → ℕ.
    7473 
Note: See TracChangeset for help on using the changeset viewer.