Ignore:
Timestamp:
Dec 1, 2010, 6:49:36 PM (9 years ago)
Author:
mulligan
Message:

Everything compiles. Doesn't jump correctly still.

File:
1 edited

Legend:

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

    r353 r354  
    513513                         Z                                      (* Clock.    *)
    514514  in
    515     set_8051_sfr status SFR_SP (bitvector_of_nat sixteen seven).
     515    set_8051_sfr status SFR_SP (bitvector_of_nat eight seven).
    516516 
    517517naxiom not_implemented: False.
Note: See TracChangeset for help on using the changeset viewer.