diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-03-30 18:30:29 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-03-30 18:30:29 -0400 |
| commit | ce1a0e8508f53481138362f14581193b7394552b (patch) | |
| tree | 18f27142e59fbf2a006500db8280d9ddcfbc8669 /src/BaseSystem.v | |
| parent | 019c80c66cd4da0f7e3f6469bf1fe3ede11c7a12 (diff) | |
| parent | d819eeb7bd87746b62f6a6398f6ad69edb89a5ff (diff) | |
Merge branch 'master' of github.mit.edu:plv/fiat-crypto
Diffstat (limited to 'src/BaseSystem.v')
| -rw-r--r-- | src/BaseSystem.v | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/BaseSystem.v b/src/BaseSystem.v index 627550440..e6ad55f18 100644 --- a/src/BaseSystem.v +++ b/src/BaseSystem.v @@ -1,7 +1,7 @@ -Require Import List. -Require Import Util.ListUtil Util.CaseUtil Util.ZUtil. -Require Import ZArith.ZArith ZArith.Zdiv. -Require Import Omega NPeano Arith. +Require Import Coq.Lists.List. +Require Import Crypto.Util.ListUtil Crypto.Util.CaseUtil Crypto.Util.ZUtil. +Require Import Coq.ZArith.ZArith Coq.ZArith.Zdiv. +Require Import Coq.omega.Omega Coq.Numbers.Natural.Peano.NPeano Coq.Arith.Arith. Local Open Scope Z. |