From 8254a8408b821cbdad5a4bef3cef59687b585ef8 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 5 Dec 2023 22:27:09 +0100
Subject: Thinko.

---
 transp-inf110-02-typage.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index 3899f54..9337c80 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -1367,7 +1367,7 @@ En français, et un peu informellement :
   donne $Q_1\land Q_2$ ; pour l'éliminer : si on a $Q_1 \land Q_2$ on
   en tire $Q_1$ resp. $Q_2$ ;
 \item pour introduire $\lor$ : on démontre $Q_1$ et $Q_2$, ce qui
-  donne $Q_1\land Q_2$ ;
+  donne $Q_1\lor Q_2$ ;
 \item pour éliminer $\lor$ : si on a $P_1 \lor P_2$, on démontre $Q$
   successivement sous les hypothèses $P_1$ et $P_2$, ce qui donne $Q$
   (hypothèses déchargées) ;
-- 
cgit v1.2.3