src/plugins/wp/configure.ac

src/plugins/wp/share/coqwp/Bits.v

src/plugins/wp/share/coqwp/BuiltIn.v

src/plugins/wp/share/coqwp/Cbits.v

src/plugins/wp/share/coqwp/Qedlib.v

src/plugins/wp/share/coqwp/Vlist.v

src/plugins/wp/share/coqwp/Zbits.v

src/plugins/wp/share/coqwp/int/Abs.v

src/plugins/wp/share/coqwp/int/ComputerDivision.v

src/plugins/wp/share/coqwp/int/ComputerOfEuclideanDivision.v

src/plugins/wp/share/coqwp/int/EuclideanDivision.v

src/plugins/wp/share/coqwp/int/Exponentiation.v

src/plugins/wp/share/coqwp/int/Int.v

src/plugins/wp/share/coqwp/int/MinMax.v

src/plugins/wp/share/coqwp/int/Power.v