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/Maybe.ma

    r228 r247  
    11include "Bool.ma".
    22
    3 include "logic/pts.ma".
    4 include "Plogic/equality.ma".
     3include "Universes.ma".
     4include "Equality.ma".
    55
    66ninductive Maybe (A: Type[0]): Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.