Ignore:
Timestamp:
Mar 2, 2013, 1:29:41 AM (7 years ago)
Author:
sacerdot
Message:
  1. Many files repaired.
  2. 3 new daemons: 2 in Assembly.ma, 1 in StructuredTraces?.ma
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/MeasurableTraces.ma

    r2601 r2760  
    66  RTLabs_fullexec
    77  (λ_.RTLabs_cost)
    8   (λ_. RTLabs_classify).
     8  (λ_. RTLabs_classify) ?.
    99
    1010notation "hbox(‘ ident i ’)" non associative with precedence 90 for @{ (let (${ident i} : unit) ≝ it in ?) }.
Note: See TracChangeset for help on using the changeset viewer.