Ignore:
Timestamp:
Jun 27, 2012, 4:23:54 PM (7 years ago)
Author:
sacerdot
Message:

Much more shuffling around to proper places

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/StatusProofs.ma

    r2032 r2124  
    344344   program_counter m cm (set_bit_addressable_sfr m cm s addr v) = program_counter m cm s.
    345345
    346 (* XXX: to be moved elsewhere *)
    347346lemma program_counter_set_arg_8:
    348347  ∀m, cm, s, addr, v.
Note: See TracChangeset for help on using the changeset viewer.