Changeset 1601 for src/RTLabs/Traces.ma


Ignore:
Timestamp:
Dec 13, 2011, 2:49:52 PM (8 years ago)
Author:
sacerdot
Message:

Files ported to new version of the standard library.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/Traces.ma

    r1596 r1601  
    3838    (λs. RTLabs_cost s = true)
    3939    (λs,s'. match s with
    40       [ dp s p ⇒
     40      [ mk_Sig s p ⇒
    4141        match s return λs. RTLabs_classify s = cl_call → ? with
    4242        [ Callstate fd args dst stk m ⇒
Note: See TracChangeset for help on using the changeset viewer.