summaryrefslogtreecommitdiff
path: root/theories/ZArith/vo.itarget
diff options
context:
space:
mode:
Diffstat (limited to 'theories/ZArith/vo.itarget')
-rw-r--r--theories/ZArith/vo.itarget7
1 files changed, 5 insertions, 2 deletions
diff --git a/theories/ZArith/vo.itarget b/theories/ZArith/vo.itarget
index 3efa7055..88751cc0 100644
--- a/theories/ZArith/vo.itarget
+++ b/theories/ZArith/vo.itarget
@@ -1,4 +1,5 @@
auxiliary.vo
+BinIntDef.vo
BinInt.vo
Int.vo
Wf_Z.vo
@@ -13,6 +14,7 @@ Zcomplements.vo
Zdiv.vo
Zeven.vo
Zgcd_alt.vo
+Zpow_alt.vo
Zhints.vo
Zlogarithm.vo
Zmax.vo
@@ -23,10 +25,11 @@ Znat.vo
Znumtheory.vo
ZOdiv_def.vo
ZOdiv.vo
+Zquot.vo
Zorder.vo
Zpow_def.vo
Zpower.vo
Zpow_facts.vo
-Zsqrt.vo
+Zsqrt_compat.vo
Zwf.vo
-ZOrderedType.vo
+Zeuclid.vo