From 81dd7a1db170d7d10d8a378cfd0719c2ded3f7df Mon Sep 17 00:00:00 2001
From: pottier
Date: Tue, 22 Feb 2011 12:39:35 +0000
Subject: anneaux commutatifs ou non, reification sans ml

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13848 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/setoid_ring/vo.itarget | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'plugins/setoid_ring/vo.itarget')

diff --git a/plugins/setoid_ring/vo.itarget b/plugins/setoid_ring/vo.itarget
index 6934375bc0..cccd21855d 100644
--- a/plugins/setoid_ring/vo.itarget
+++ b/plugins/setoid_ring/vo.itarget
@@ -13,3 +13,11 @@ Ring_tac.vo
 Ring_theory.vo
 Ring.vo
 ZArithRing.vo
+Algebra_syntax.vo
+Cring.vo
+Cring_initial.vo
+Cring_tac.vo
+Ring2.vo
+Ring2_polynom.vo
+Ring2_initial.vo
+Ring2_tac.vo
\ No newline at end of file
-- 
cgit v1.2.3