Changeset 2103 for src/ERTL


Ignore:
Timestamp:
Jun 21, 2012, 5:21:02 PM (8 years ago)
Author:
campbell
Message:

Make transform_*program take a more general transformation to make
properties easier to state.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r1601 r2103  
    425425
    426426definition ertl_to_ltl: ertl_program → ltl_program ≝
    427   λp.transform_program … p (transf_fundef … (translate_internal …)).
     427  λp.transform_program … p (λvarnames. transf_fundef … (translate_internal varnames)).
Note: See TracChangeset for help on using the changeset viewer.