Ignore:
Timestamp:
Nov 23, 2010, 5:10:40 PM (9 years ago)
Author:
mulligan
Message:

Changes to bitvector.

File:
1 edited

Legend:

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

    r265 r266  
    221221  λs: Status.
    222222    let sfr ≝ special_function_registers_8051 s in
    223     let psw ≝ get_index … (get_8051_index SFR_PSW) s ? in
     223    let psw ≝ get_index … (sfr_8051_index SFR_PSW) s ? in
    224224      get_index … Z psw ?.
    225225               
Note: See TracChangeset for help on using the changeset viewer.