From 718d61a54157733bca61ed84c0ba3761cd52720f Mon Sep 17 00:00:00 2001
From: Matej Kosik <matej.kosik@inria.fr>
Date: Thu, 23 Mar 2017 12:56:24 +0100
Subject: drop vo.itarget files and compute the corresponding the corresponding
 values automatically instead

---
 theories/Arith/vo.itarget | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 theories/Arith/vo.itarget

(limited to 'theories/Arith')

diff --git a/theories/Arith/vo.itarget b/theories/Arith/vo.itarget
deleted file mode 100644
index 0b3d31e98..000000000
--- a/theories/Arith/vo.itarget
+++ /dev/null
@@ -1,22 +0,0 @@
-PeanoNat.vo
-Arith_base.vo
-Arith.vo
-Between.vo
-Bool_nat.vo
-Compare_dec.vo
-Compare.vo
-Div2.vo
-EqNat.vo
-Euclid.vo
-Even.vo
-Factorial.vo
-Gt.vo
-Le.vo
-Lt.vo
-Max.vo
-Minus.vo
-Min.vo
-Mult.vo
-Peano_dec.vo
-Plus.vo
-Wf_nat.vo
-- 
cgit v1.2.3