Ignore:
Timestamp:
Nov 23, 2010, 5:05:46 PM (9 years ago)
Author:
mulligan
Message:

Test commit.

File:
1 edited

Legend:

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

    r262 r265  
    4040naxiom succ_less_than_injective:
    4141  ∀m, n: Nat.
    42     S m < S n → m < n.
     42    less_than_p (S m) (S n) → m < n.
    4343   
    4444naxiom nothing_less_than_Z:
Note: See TracChangeset for help on using the changeset viewer.