Ignore:
Timestamp:
Dec 1, 2010, 11:27:04 PM (9 years ago)
Author:
sacerdot
Message:
  • stupid bug fixed in BitVectorTrie?
  • dependencies minimized, dead code removed
File:
1 edited

Legend:

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

    r352 r357  
    44(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
    55
    6 include "Util.ma".
    7 
    86include "Nat.ma".
    97include "List.ma".
    10 include "Cartesian.ma".
    11 include "Maybe.ma".
    12 include "Plogic/equality.ma".
    138
    149(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
Note: See TracChangeset for help on using the changeset viewer.