From bd5b2a45c2ef00d63fc84f5f1bc577fcb3a3d0d9 Mon Sep 17 00:00:00 2001
From: roconnor
Date: Thu, 21 Jun 2007 11:46:13 +0000
Subject: Adding: Field instance for Q.       : Power function from Q -> Z ->
 Q.       : Absolute value function.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f127172ef0..98d88f6b13 100644
--- a/Makefile
+++ b/Makefile
@@ -930,7 +930,9 @@ INTSVO=\
 QARITHVO=\
  theories/QArith/QArith_base.vo theories/QArith/Qreduction.vo \
  theories/QArith/Qring.vo       theories/QArith/Qreals.vo \
- theories/QArith/QArith.vo	theories/QArith/Qcanon.vo 
+ theories/QArith/QArith.vo	theories/QArith/Qcanon.vo \
+ theories/QArith/Qfield.vo	theories/QArith/Qpower.vo \
+ theories/QArith/Qabs.vo
 
 LISTSVO=\
  theories/Lists/MonoList.vo \
-- 
cgit v1.2.3