Ignore:
Timestamp:
Dec 1, 2010, 1:10:53 PM (10 years ago)
Author:
mulligan
Message:

less axioms

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/List.ma

    r349 r350  
    105105    ##| nnormalize in p;
    106106        nnormalize;
    107         napply (succ_less_than_or_equal_injective ? ?);
    108         nassumption;
     107        /2/;
    109108    ##]
    110109nqed.
Note: See TracChangeset for help on using the changeset viewer.