_CoqProject

-R theories/ CoqCP
theories/ExistsInRange.v
theories/RegularBracketString.v
theories/PrefixApp.v
theories/ListsEqual.v
theories/FillInTheBlanks.v
theories/PropertyPreservedAfterSorting.v
theories/ListRange.v
theories/SwapUpdate.v
theories/SelectionSort.v
theories/Foldl.v
theories/PickSmallestInRangeProperties.v
theories/Comparator.v
theories/ListDecomposition.v
theories/Sorted.v
theories/SelectionSortProperties.v
theories/SortedProperties.v
theories/Options.v
theories/Completion.v
theories/TwoWaysToFill.v
theories/RepeatCompare.v
Codeforces/contests/4/A/watermelon.v
Codeforces/contests/1154/A/restore_three_numbers.v
theories/BubbleSort.v
theories/BubbleSortProperties.v
theories/Imperative.v
theories/DisjointSetUnion.v
theories/CountingBits.v
theories/DisjointSetUnionCode.v
theories/DisjointSetUnionCode2.v
theories/DisjointSetUnionCode3.v
-R generated-coq/ Generated
generated-coq/DisjointSetUnion.v