Ignore:
Timestamp:
Aug 24, 2011, 5:12:10 PM (9 years ago)
Author:
campbell
Message:

Update branch.

Location:
Deliverables/D3.3/id-lookup-branch
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.3/id-lookup-branch

  • Deliverables/D3.3/id-lookup-branch/RTL/RTLtoERTL.ma

    r1081 r1109  
    190190 
    191191definition save_hdws_internal ≝
    192   λdestr_srcr: register × hardware_register.
     192  λdestr_srcr: register × Register.
    193193  λstart_lbl: label.
    194194    let 〈destr, srcr〉 ≝ destr_srcr in
     
    200200   
    201201definition restore_hdws_internal ≝
    202   λdestr_srcr: hardware_register × register.
     202  λdestr_srcr: Register × register.
    203203  λstart_lbl: label.
    204204    let 〈destr, srcr〉 ≝ destr_srcr in
Note: See TracChangeset for help on using the changeset viewer.