Changeset 1524 for src/ASM/Vector.ma


Ignore:
Timestamp:
Nov 21, 2011, 5:51:20 PM (8 years ago)
Author:
boender
Message:
  • adapted files to new Matita syntax
File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.