diff options
Diffstat (limited to 'theories/PArith/PArith.v')
| -rw-r--r-- | theories/PArith/PArith.v | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/theories/PArith/PArith.v b/theories/PArith/PArith.v index f453af386d..8688c50132 100644 --- a/theories/PArith/PArith.v +++ b/theories/PArith/PArith.v @@ -8,8 +8,4 @@ (** Library for positive natural numbers *) -Require Export BinPos. -Require Export Pnat. -Require Export Pminmax. -Require Export Psqrt. -Require Export POrderedType. +Require Export BinPos Pnat Pminmax Psqrt Pgcd POrderedType. |