coq/theories/Numbers/NatInt, branch master The formal proof system Support locality attributes for Hint Rewrite (including export) 2021-01-18T12:08:17+00:00 Gaëtan Gilbert 2021-01-07T12:55:23+00:00 4419a101a4f5a108be90cf4e420f0b6961e6caac We deprecate unspecified locality as was done for Hint. Close #13724 
We deprecate unspecified locality as was done for Hint.

Close #13724
Modify Numbers/NatInt/NZGcd.v to compile with -mangle-names 2020-08-25T20:53:34+00:00 Jasper Hugunin 2020-08-25T20:47:07+00:00 d10c7e19fe760f139f31809975291b955705dc27 






Modify Numbers/NatInt/NZDiv.v to compile with -mangle-names
2020-08-25T20:53:34+00:00

Jasper Hugunin

2020-08-25T20:44:51+00:00

3692f244fee5871b00557cb16ce85b40d413c3ec












Modify Numbers/NatInt/NZLog.v to compile with -mangle-names
2020-08-25T20:53:33+00:00

Jasper Hugunin

2020-08-25T20:39:12+00:00

90d2c6c24bbe23f8b09ae3aa649264ef705fe4de












Modify Numbers/NatInt/NZSqrt.v to compile with -mangle-names
2020-08-25T20:53:33+00:00

Jasper Hugunin

2020-08-25T20:37:04+00:00

b9dd65f8d7d7600693b6d38e52b5b966e8b24db6












Modify Numbers/NatInt/NZPow.v to compile with -mangle-names
2020-08-25T20:53:33+00:00

Jasper Hugunin

2020-08-25T20:35:24+00:00

b8d05916f64136cf809de1fbfd0263a47d192e5e












Modify Numbers/NatInt/NZParity.v to compile with -mangle-names
2020-08-25T20:53:33+00:00

Jasper Hugunin

2020-08-25T20:34:22+00:00

e950f496ba1f8e4662d513a15b4c96e5a3c7ab39












Modify Numbers/NatInt/NZMulOrder.v to compile with -mangle-names
2020-08-25T20:53:33+00:00

Jasper Hugunin

2020-08-25T20:32:35+00:00

ea5f72382a1290028e1c41ad1548546d2040529b












Modify Numbers/NatInt/NZOrder.v to compile with -mangle-names
2020-08-25T20:53:33+00:00

Jasper Hugunin

2020-08-25T20:29:34+00:00

9a51c936136346b0a5ca5c81c17fb923a86a38ea












Modify Numbers/NatInt/NZMul.v to compile with -mangle-names
2020-08-25T20:53:33+00:00

Jasper Hugunin

2020-08-25T20:14:04+00:00

9cd62a46c1db28e3bc77711ee6e7ab8e887ce494