Ignore:
Timestamp:
Oct 10, 2011, 12:53:43 PM (8 years ago)
Author:
sacerdot
Message:

Avoid using the name of the construction of jmeq.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/AssemblyProof.ma

    r1045 r1333  
    124124  #A #m #n #v #q #prf #hd #E
    125125  @(super_rewrite2 A … E)
    126   [ assumption | @jmrefl ]
     126  [ assumption | % ]
    127127qed.
    128128
Note: See TracChangeset for help on using the changeset viewer.