From 779502eaf0f875821bcf2d7cbf237833dd06e07d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 10 Aug 2003 18:49:31 +0000
Subject: Affichage {}+{}, niveau paire au plus haut

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

diff --git a/theories/Init/Notations.v b/theories/Init/Notations.v
index 0fcb234d07..61f4daddcd 100644
--- a/theories/Init/Notations.v
+++ b/theories/Init/Notations.v
@@ -53,7 +53,7 @@ Uninterpreted Notation "/ x" (at level 0)
 (** Notations for pairs *)
 
 Uninterpreted Notation "( x , y )" (at level 0)
-  V8only "x , y" (at level 150, left associativity).
+  V8only "x , y" (at level 250, left associativity).
 
 (** Notations for sum-types *)
 
@@ -77,7 +77,7 @@ Uninterpreted Notation "B + { x : A & P & Q }"
 
 (* At level 1 to factor with {x:A|P} etc *)
 
-Uninterpreted Notation "{ A } + { B }" (at level 1)
+Uninterpreted Notation "{ A }  + { B }" (at level 1)
   V8only (at level 10, A at level 80).
 
 Uninterpreted Notation "A + { B }" (at level 4, left associativity)
-- 
cgit v1.2.3