Ignore:
Timestamp:
Dec 14, 2010, 4:12:43 PM (9 years ago)
Author:
mulligan
Message:

All proof obligations closed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/depends

    r414 r420  
    1616Connectives.ma Plogic/equality.ma
    1717Bool.ma Universes.ma
    18 Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Map.ma Status.ma
     18Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    1919List.ma Maybe.ma Util.ma
    2020Interpret.ma Fetch.ma Status.ma
     
    2222Compare.ma Universes.ma
    2323BitVector.ma String.ma Vector.ma
    24 String.ma Char.ma List.ma
     24String.ma Char.ma Compare.ma List.ma
    2525Plogic/equality.ma Universes.ma
    2626Nat.ma Bool.ma Cartesian.ma Connectives.ma
Note: See TracChangeset for help on using the changeset viewer.