From e0d682ec25282a348d35c5b169abafec48555690 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 20 Aug 2012 18:27:01 +0200
Subject: Imported Upstream version 8.4dfsg

---
 theories/Lists/vo.itarget | 1 +
 1 file changed, 1 insertion(+)

(limited to 'theories/Lists/vo.itarget')

diff --git a/theories/Lists/vo.itarget b/theories/Lists/vo.itarget
index adcfba49..04994f59 100644
--- a/theories/Lists/vo.itarget
+++ b/theories/Lists/vo.itarget
@@ -2,5 +2,6 @@ ListSet.vo
 ListTactics.vo
 List.vo
 SetoidList.vo
+SetoidPermutation.vo
 StreamMemo.vo
 Streams.vo
-- 
cgit v1.2.3