Changeset 2103 for src/Cminor
- Timestamp:
- Jun 21, 2012, 5:21:02 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Cminor/toRTLabs.ma
r2033 r2103 939 939 940 940 definition cminor_noinit_to_rtlabs : Cminor_noinit_program → res RTLabs_program ≝ 941 λp.transform_partial_program … p ( transf_partial_fundef … c2ra_function).941 λp.transform_partial_program … p (λ_. transf_partial_fundef … c2ra_function). 942 942 943 943 include "Cminor/initialisation.ma".
Note: See TracChangeset
for help on using the changeset viewer.