Changeset 1606 for src/ASM/ASMCosts.ma


Ignore:
Timestamp:
Dec 14, 2011, 1:40:08 PM (9 years ago)
Author:
sacerdot
Message:

Porting to last library of Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASMCosts.ma

    r1597 r1606  
    116116  #new_program_counter_from_fetch #program_counter_within_program
    117117  >new_program_counter_from_fetch
    118   lapply (sig2 ? ? (fetch code_memory program_counter)) #assm
     118  lapply (fetch code_memory program_counter) #assm
    119119  cases daemon
    120120qed.
Note: See TracChangeset for help on using the changeset viewer.