aboutsummaryrefslogtreecommitdiff
path: root/theories
AgeCommit message (Expand)Author
2020-10-11Modify setoid_ring/InitialRing.v to compile with -mangle-namesJasper Hugunin
2020-10-10Splitting ssrbool's multi-printing notations into parsing and printing.Hugo Herbelin
2020-10-09Modify ZArith/ZArith_dec.v to compile with -mangle-namesJasper Hugunin
2020-10-09Modify Bool/Sumbool.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify ZArith/Zorder.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify setoid_ring/Ring_polynom.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify ZArith/BinInt.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZBits.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZLcm.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZGcd.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZDivFloor.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZDivTrunc.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZPow.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZParity.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZSgnAbs.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZMaxMin.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZMulOrder.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZAddOrder.v to compile with -mangle-namesJasper Hugunin
2020-10-08Modify Numbers/Integer/Abstract/ZAdd.v to compile with -mangle-namesJasper Hugunin
2020-10-08Remove occurrences of Parray.reroot.Guillaume Melquiond
2020-10-05Adapting theories to unused pattern-matching variable warning.Hugo Herbelin
2020-10-02{new,setoid_}ring -> ringMaxime Dénès
2020-09-29Merge PR #13039: Lint stdlib with -mangle-names #3coqbot-app[bot]
2020-09-17Formally deprecate the double induction tactic.Pierre-Marie Pédrot
2020-09-16Modify setoid_ring/BinList.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Lists/List.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify setoid_ring/Ring_theory.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify NArith/Nnat.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify PArith/Pnat.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify NArith/BinNat.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify PArith/BinPos.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/Wf_nat.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/EqNat.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/Factorial.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/Compare_dec.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/Peano_dec.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Logic/Eqdep_dec.v to compile with -vJasper Hugunin
2020-09-16Modify Logic/EqdepFacts.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/Between.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/Mult.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/Plus.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/Le.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Arith/PeanoNat.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Numbers/Natural/Abstract/NBits.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Numbers/Natural/Abstract/NLcm.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Numbers/Natural/Abstract/NGcd.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Numbers/Natural/Abstract/NDiv.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Numbers/Natural/Abstract/NPow.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Numbers/Natural/Abstract/NParity.v to compile with -mangle-namesJasper Hugunin
2020-09-16Modify Numbers/Natural/Abstract/NMaxMin.v to compile with -mangle-namesJasper Hugunin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:37:04 +0000