Changeset 865 for src/ASM/Interpret.ma


Ignore:
Timestamp:
May 31, 2011, 11:45:21 AM (9 years ago)
Author:
sacerdot
Message:

Renaming.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r856 r865  
    642642    index_of_internal A eq l 0.
    643643
    644 definition address_of_word_labels_internal
     644definition instruction_matches_identifier
    645645  λy: Identifier.
    646646  λx: labelled_instruction.
     
    653653  λcode_mem.
    654654  λid: Identifier.
    655     bitvector_of_nat 16 (index_of ? (address_of_word_labels_internal id) code_mem).
     655    bitvector_of_nat 16 (index_of ? (instruction_matches_identifier id) code_mem).
    656656
    657657definition address_of_word_labels ≝
Note: See TracChangeset for help on using the changeset viewer.