Ignore:
Timestamp:
Nov 29, 2010, 1:42:00 PM (10 years ago)
Author:
mulligan
Message:

Commit to restore deleted file.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D4.1/Matita/depends

    r328 r329  
    1414Bool.ma Universes.ma
    1515Assembly.ma ASM.ma
    16 List.ma Bool.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
     16List.ma Bool.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
     17Interpret.ma Arithmetic.ma Cartesian.ma Fetch.ma List.ma Status.ma
    1718Util.ma Nat.ma
    1819Compare.ma Universes.ma
Note: See TracChangeset for help on using the changeset viewer.