From e48ac2fd2466f971f694a66be29c3a13d3184635 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 31 May 2001 01:57:35 +0000
Subject: Creation du fichier Zhints.v repertoriant les thms de ZArith et
 definissant les thms interessants en hints

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1775 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 81bac199a7..a1db4ccebd 100644
--- a/Makefile
+++ b/Makefile
@@ -367,7 +367,8 @@ BOOLVO=theories/Bool/Bool.vo  		theories/Bool/IfProp.vo \
 ZARITHVO=theories/ZArith/Wf_Z.vo        theories/ZArith/Zsyntax.vo \
 	 theories/ZArith/ZArith.vo      theories/ZArith/auxiliary.vo \
 	 theories/ZArith/ZArith_dec.vo  theories/ZArith/fast_integer.vo \
-	 theories/ZArith/Zmisc.vo       theories/ZArith/zarith_aux.vo
+	 theories/ZArith/Zmisc.vo       theories/ZArith/zarith_aux.vo \
+	 theories/ZArith/Zhints.vo
 
 LISTSVO=theories/Lists/List.vo      theories/Lists/PolyListSyntax.vo \
         theories/Lists/ListSet.vo   theories/Lists/Streams.vo \
-- 
cgit v1.2.3