From 6164aabc75035ca21474b51ceab4e25d47395ff7 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Sat, 8 Mar 2008 14:52:02 +0000
Subject: Fix bugs that were reopened due to the change of setoid
 implementation. Mostly syntax changes when declaring parametric relations,
 but also some declarations were relying on "default" relations on some
 carrier. Added a new DefaultRelation type class that allows to do that,
 falling back to the last declared Equivalence relation by default. This will
 be bound to Add Relation in the next commit.

Also, move the "left" and "right" notations in Program.Utils to "in_left" and
"in_right" to avoid clashes with existing scripts.

Minor change to record to allow choosing the name of the argument for
the record in projections to avoid possible incompatibilities.


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

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index d4dc8256f0..5e35108dbc 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -748,8 +748,8 @@ SETOIDSVO:= theories/Setoids/Setoid.vo # theories/Setoids/Setoid_tac.vo theories
 UNICODEVO:= theories/Unicode/Utf8.vo
 
 CLASSESVO:= theories/Classes/Init.vo theories/Classes/Relations.vo theories/Classes/Morphisms.vo \
-	theories/Classes/Functions.vo theories/Classes/Equivalence.vo \
-	theories/Classes/SetoidClass.vo theories/Classes/SetoidTactics.vo theories/Classes/SetoidDec.vo
+	theories/Classes/Functions.vo theories/Classes/Equivalence.vo theories/Classes/SetoidTactics.vo \
+	theories/Classes/SetoidClass.vo theories/Classes/SetoidAxioms.vo theories/Classes/SetoidDec.vo
 
 THEORIESVO:=\
   $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(NARITHVO) $(ZARITHVO) \
-- 
cgit v1.2.3