Changeset 345


Ignore:
Timestamp:
Nov 30, 2010, 5:07:05 PM (9 years ago)
Author:
sacerdot
Message:

load implemented

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Status.ma

    r344 r345  
    994994      ##]
    995995nqed.
     996
     997ndefinition load_code_memory ≝
     998 fold_lefti … (λi,mem,v. insert … (bitvector_of_nat … i) v mem) (Stub Byte sixteen).
     999
     1000ndefinition load ≝
     1001 λl,status. set_code_memory status (load_code_memory l).
Note: See TracChangeset for help on using the changeset viewer.