Changeset 2899 for src/semantics.ma
- Timestamp:
- Mar 19, 2013, 12:33:13 AM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/semantics.ma
r2875 r2899 39 39 λ_.mk_preclassified_system_pass lin_pass (joint_preclassified_system LIN_semantics) ? 40 40 | assembly_pass ⇒ 41 ? 41 λprog. let 〈code,sigma,policy〉 ≝ prog in 42 mk_preclassified_system_pass … (ASM_preclassified_system prog sigma policy) … 42 43 | object_code_pass ⇒ 43 44 λprog. mk_preclassified_system_pass ? (OC_preclassified_system prog) … 44 45 ]. 45 try % cases daemon 46 % 46 47 qed. 47 48
Note: See TracChangeset
for help on using the changeset viewer.