From fdeea61df3ecc7b1009893dbd318e50903065601 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 13 Dec 2023 16:20:23 +0100
Subject: Change chapter title to include propositional calculus.

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

(limited to 'transp-inf110-02-typage.tex')

diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index 389acbe..25305e4 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -38,7 +38,7 @@
 %
 %
 %
-\title{Typage simple}
+\title{Typage simple et calcul propositionnel}
 \subtitle{INF110 (Logique et Fondements de l'Informatique)}
 \author[David Madore]{David A. Madore\\
 {\footnotesize Télécom Paris}\\
-- 
cgit v1.2.3