From 5a2c2febd2c963e58142edaf809f0a4cac806561 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 30 Oct 2025 13:59:51 +0100
Subject: Note Coq→Rocq name change.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'transp-inf110-03-quantif.tex')

diff --git a/transp-inf110-03-quantif.tex b/transp-inf110-03-quantif.tex
index 07c5d43..61063b9 100644
--- a/transp-inf110-03-quantif.tex
+++ b/transp-inf110-03-quantif.tex
@@ -542,7 +542,7 @@ monde des démonstrations, plus simples, ou différentes.
 
 \medskip
 
-\itempoint En Coq, les deux mondes sont \alert{séparés mais
+\itempoint En Coq/Rocq, les deux mondes sont \alert{séparés mais
   parallèles} : $\mathit{Prop}$ pour le type des propositions et
 $\mathit{Type}$ pour le type des types d'individus.
 
-- 
cgit v1.2.3