Changeset 2130


Ignore:
Timestamp:
Jun 27, 2012, 10:19:57 PM (5 years ago)
Author:
sacerdot
Message:

Proof repaired after Dominic's bug fix.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r2129 r2130  
    11131113      /demod nohyps/ %
    11141114    |1:
    1115       cases (vsplit ????) #thr #eig normalize nodelta
    11161115      cases (vsplit ????) #fiv #thr' normalize nodelta
    11171116      /demod by clock_set_program_counter/ /demod nohyps/ %
Note: See TracChangeset for help on using the changeset viewer.