diff options
Diffstat (limited to 'theories/ZArith/ZArith.v')
| -rw-r--r-- | theories/ZArith/ZArith.v | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/theories/ZArith/ZArith.v b/theories/ZArith/ZArith.v index 93121d48f..8199ed369 100644 --- a/theories/ZArith/ZArith.v +++ b/theories/ZArith/ZArith.v @@ -10,10 +10,13 @@ Require Export ZArith_base. +(** Extra definitions *) + +Require Export Zpow_def Zsqrt_def Zlog_def. + (** Extra modules using [Omega] or [Ring]. *) Require Export Zcomplements. -Require Export Zsqrt_def. Require Export Zpower. Require Export Zdiv. Require Export Zlogarithm. |