diff options
Diffstat (limited to 'theories/Ints/num')
| -rw-r--r-- | theories/Ints/num/GenDiv.v | 1 | ||||
| -rw-r--r-- | theories/Ints/num/GenLift.v | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/theories/Ints/num/GenDiv.v b/theories/Ints/num/GenDiv.v index 4a30fa2c32..3bf0615c2b 100644 --- a/theories/Ints/num/GenDiv.v +++ b/theories/Ints/num/GenDiv.v @@ -12,7 +12,6 @@ Require Import ZArith. Require Import ZAux. Require Import ZDivModAux. Require Import ZPowerAux. -Require Import Zmod. Require Import Basic_type. Require Import GenBase. Require Import GenDivn1. diff --git a/theories/Ints/num/GenLift.v b/theories/Ints/num/GenLift.v index 11455b8044..68d03fd82f 100644 --- a/theories/Ints/num/GenLift.v +++ b/theories/Ints/num/GenLift.v @@ -12,7 +12,6 @@ Require Import ZArith. Require Import ZAux. Require Import ZPowerAux. Require Import ZDivModAux. -Require Import Zmod. Require Import Basic_type. Require Import GenBase. |