Ignore:
Timestamp:
Nov 22, 2010, 11:12:56 AM (9 years ago)
Author:
mulligan
Message:

Changes to get directory to compile.

File:
1 edited

Legend:

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

    r242 r247  
    44
    55include "Util.ma".
    6 
    7 include "logic/pts.ma".
    8 
     6include "Universes.ma".
    97include "Nat.ma".
    10 
    11 include "Maybe.ma".
    12 
    13 include "Plogic/equality.ma".
     8(* include "Maybe.ma". *)
     9include "Equality.ma".
    1410
    1511(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
Note: See TracChangeset for help on using the changeset viewer.