Changeset 2129 for src/common


Ignore:
Timestamp:
Jun 27, 2012, 7:14:32 PM (8 years ago)
Author:
mulligan
Message:

Large changes from today trying to complete the main theorem. Again :(

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StructuredTraces.ma

    r2044 r2129  
    2525}.
    2626
    27 definition as_label ≝ λS : abstract_status. λs : S. as_label_of_pc … (as_pc_of … s).
     27definition as_label ≝ λS : abstract_status. λs : S. as_label_of_pc ? (as_pc_of ? s).
    2828
    2929(* temporary alias for backward compatibility *)
Note: See TracChangeset for help on using the changeset viewer.