diff options
Diffstat (limited to 'coqprime/Coqprime/Root.v')
-rw-r--r-- | coqprime/Coqprime/Root.v | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/coqprime/Coqprime/Root.v b/coqprime/Coqprime/Root.v index 321865ba1..4e74a4d2f 100644 --- a/coqprime/Coqprime/Root.v +++ b/coqprime/Coqprime/Root.v @@ -11,11 +11,11 @@ Proof that a polynomial has at most n roots ************************************************************************) -Require Import ZArith. -Require Import List. -Require Import UList. -Require Import Tactic. -Require Import Permutation. +Require Import Coq.ZArith.ZArith. +Require Import Coq.Lists.List. +Require Import Coqprime.UList. +Require Import Coqprime.Tactic. +Require Import Coqprime.Permutation. Open Scope Z_scope. |