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

    r356 r357  
    44
    55include "Util.ma".
    6 include "Universes.ma".
    7 include "Bool.ma".
    8 include "Nat.ma".
    96include "Maybe.ma".
    10 include "Plogic/equality.ma".
    117
    128(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
Note: See TracChangeset for help on using the changeset viewer.