Changeset 704


Ignore:
Timestamp:
Mar 23, 2011, 2:19:21 AM (9 years ago)
Author:
sacerdot
Message:

Minor speedup in one theorem (less automation).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r698 r704  
    222222 [ #H
    223223   destruct
    224  | /3/
     224 | #n #H lapply (H1 … H) /2/
    225225 ]
    226226qed.
Note: See TracChangeset for help on using the changeset viewer.