aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/NArith/vo.itarget
diff options
context:
space:
mode:
Diffstat (limited to 'theories/NArith/vo.itarget')
-rw-r--r--theories/NArith/vo.itarget12
1 files changed, 12 insertions, 0 deletions
diff --git a/theories/NArith/vo.itarget b/theories/NArith/vo.itarget
new file mode 100644
index 000000000..32f94f013
--- /dev/null
+++ b/theories/NArith/vo.itarget
@@ -0,0 +1,12 @@
+BinNat.vo
+BinPos.vo
+NArith.vo
+Ndec.vo
+Ndigits.vo
+Ndist.vo
+Nnat.vo
+Pnat.vo
+POrderedType.vo
+Pminmax.vo
+NOrderedType.vo
+Nminmax.vo