From 7581f4907dd6af33345dc7b85fb8447e0f8c10e5 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sat, 20 Jan 2024 19:18:21 +0100
Subject: Clarification over previous addition.

---
 exercices-inf110.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/exercices-inf110.tex b/exercices-inf110.tex
index a8bf66a..2f00df0 100644
--- a/exercices-inf110.tex
+++ b/exercices-inf110.tex
@@ -2384,7 +2384,10 @@ La revoici écrite dans le style « drapeau » :
 \end{footnotesize}
 \egroup
 
-La voici réécrite en forme d'arbre de preuve :
+La voici réécrite en forme d'arbre de preuve (en omettant certaines
+hypothèses superflues à gauche du symbole ‘$\vdash$’, ou, ce qui
+revient au même, en faisant un usage tacite de la règle
+d'affaiblissement) :
 \begin{tiny}
 \[
 \inferrule*[left={$\Rightarrow$Int}]{
-- 
cgit v1.2.3