Ignore:
Timestamp:
Nov 15, 2010, 10:26:20 AM (9 years ago)
Author:
mulligan
Message:

Also needed an updated List.ma.

File:
1 edited

Legend:

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

    r240 r241  
    66include "Util.ma".
    77
    8 include "Universes/Universes.ma".
    9 
    10 include "Datatypes/Nat/Nat.ma".
    11 include "Datatypes/Nat/Addition.ma".
    12 include "Datatypes/Nat/Order.ma".
    13 
    14 include "Datatypes/Listlike/List/List.ma".
    15 
    16 include "Datatypes/Cartesian.ma".
     8include "logic/pts.ma".
     9
     10include "Nat.ma".
     11
     12include "List.ma".
     13
     14include "Cartesian.ma".
    1715
    1816include "Plogic/equality.ma".
Note: See TracChangeset for help on using the changeset viewer.