From 718d61a54157733bca61ed84c0ba3761cd52720f Mon Sep 17 00:00:00 2001 From: Matej Kosik Date: Thu, 23 Mar 2017 12:56:24 +0100 Subject: drop vo.itarget files and compute the corresponding the corresponding values automatically instead --- theories/Relations/vo.itarget | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 theories/Relations/vo.itarget (limited to 'theories/Relations') diff --git a/theories/Relations/vo.itarget b/theories/Relations/vo.itarget deleted file mode 100644 index 9d81dd07a..000000000 --- a/theories/Relations/vo.itarget +++ /dev/null @@ -1,4 +0,0 @@ -Operators_Properties.vo -Relation_Definitions.vo -Relation_Operators.vo -Relations.vo -- cgit v1.2.3