_CoqProject

-Q theories Huffman

theories/AuxLib.v
theories/UniqueKey.v
theories/Frequency.v
theories/Code.v
theories/Ordered.v
theories/ISort.v
theories/Weight.v
theories/BTree.v
theories/Cover.v
theories/OrderedCover.v
theories/WeightTree.v
theories/Prod2List.v
theories/HeightPred.v
theories/SubstPred.v
theories/CoverMin.v
theories/SameSumLeaves.v
theories/OneStep.v
theories/Build.v
theories/PBTree.v
theories/PBTree2BTree.v
theories/Restrict.v
theories/Huffman.v
src/Extraction.v