Changeset 2103 for src/Clight/label.ma


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/Clight/label.ma

    r1888 r2103  
    189189
    190190definition clight_label : clight_program → clight_program ≝
    191  λp. transform_program … p label_fundef.
     191 λp. transform_program … p (λ_.label_fundef).
Note: See TracChangeset for help on using the changeset viewer.