Ignore:
Timestamp:
Dec 2, 2010, 4:36:35 PM (9 years ago)
Author:
mulligan
Message:

Added subvector_with function.

File:
1 edited

Legend:

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

    r357 r364  
     1Exponential.ma Nat.ma
     2Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    13Arithmetic.ma BitVector.ma Exponential.ma
    2 Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    3 Exponential.ma Nat.ma
    44BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    55Cartesian.ma Universes.ma
     6Universes.ma
    67Maybe.ma Bool.ma Plogic/equality.ma
    78Either.ma Bool.ma
    8 Universes.ma
    9 DoTest.ma Interpret.ma Test.ma
     9DoTest.ma Assembly.ma Interpret.ma Test.ma
    1010ASM.ma BitVector.ma Either.ma String.ma
    11 Vector.ma List.ma Nat.ma
    1211Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1312Char.ma Universes.ma
    1413Test.ma ASM.ma
     14Vector.ma List.ma Nat.ma
    1515Connectives.ma Plogic/equality.ma
    1616Bool.ma Universes.ma
    1717Assembly.ma ASM.ma
    1818List.ma Maybe.ma Util.ma
     19Interpret.ma Fetch.ma Status.ma
    1920Util.ma Nat.ma
    20 Interpret.ma Fetch.ma Status.ma
    2121BitVector.ma Vector.ma
    2222String.ma Char.ma List.ma
Note: See TracChangeset for help on using the changeset viewer.