Changeset 2124 for src/ASM/Interpret.ma


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/Interpret.ma

    r2108 r2124  
    957957qed.
    958958
    959 discriminator Prod.
    960 
    961959definition compute_target_of_unconditional_jump:
    962960    ∀program_counter: Word.
Note: See TracChangeset for help on using the changeset viewer.