Ignore:
Timestamp:
Dec 11, 2010, 4:16:00 PM (10 years ago)
Author:
campbell
Message:

Minor changes for the new version of matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/extralib.ma

    r181 r400  
    601601          #Hr1; ndestruct; ##[ ##1,2,3: nrewrite > (p0_plus ? md''); ##]
    602602          #lt; #e; ##[ ##1,3,4,6: nrewrite > lt; ##]
    603           nrewrite < (pair_eq1 … e); nrewrite < (pair_eq2 … e);
     603          nrewrite < (pair_eq1 ?????? e); nrewrite < (pair_eq2 ?????? e);
    604604          nnormalize in ⊢ (?(???%)?); @; /2/; napply plt_pos;
    605605          ##[ ncut (succ n' + r'' < p0 (succ n')); /2/;
Note: See TracChangeset for help on using the changeset viewer.