Changeset 2103 for src/Clight/label.ma
- Timestamp:
- Jun 21, 2012, 5:21:02 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Clight/label.ma
r1888 r2103 189 189 190 190 definition 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.