From 5e37d8609c6fae33ae839c21a2d9607a923a34f1 Mon Sep 17 00:00:00 2001
From: delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 19 Dec 2000 15:23:41 +0000
Subject: Correction associativite de Repeat/Orelse

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

(limited to 'PROBLEMES')

diff --git a/PROBLEMES b/PROBLEMES
index c22a1c483..b03414a8c 100644
--- a/PROBLEMES
+++ b/PROBLEMES
@@ -32,10 +32,6 @@ plus s
 REPONSE PROVISOIRE: si c'est pour Specialize, faudrait en changer la
 syntaxe, elle est incompatible avec L_tac.
 
-Associativite Repeat Orelse changee
-	Repeat A Orelse B se lit (Repeat A) Orelse B 
-ce n'est pas malin car Repeat A n'echoue jamais
-
 CONTRIBS
 ---------
 BellLabs/lazyPCF : OK
-- 
cgit v1.2.3