- Timestamp:
- Mar 2, 2013, 1:50:04 AM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/Assembly.ma
r2760 r2761 1037 1037 qed. 1038 1038 1039 (* 1039 1040 definition assembly_unlabelled_program: 1040 1041 assembly_program → option labelled_object_code ≝ 1041 1042 λp. 1042 Some … (〈foldr … (λi,l. assembly1 i @ l) [ ] p, 〈Stub …, Stub …〉〉). 1043 Some … 1044 (mk_labelled_object_code 1045 (foldr … (λi,l. assembly1 i @ l) [ ] p) 〈Stub …, Stub …〉〉). 1046 *)
Note: See TracChangeset
for help on using the changeset viewer.