summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-13 16:20:23 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-13 16:20:28 +0100
commitfdeea61df3ecc7b1009893dbd318e50903065601 (patch)
tree430ce23855a092087e1fe400c97175f1a71ecad5
parenta40a72a07392dfa97f710d9d80b86288252ba040 (diff)
downloadinf110-lfi-fdeea61df3ecc7b1009893dbd318e50903065601.tar.gz
inf110-lfi-fdeea61df3ecc7b1009893dbd318e50903065601.tar.bz2
inf110-lfi-fdeea61df3ecc7b1009893dbd318e50903065601.zip
Change chapter title to include propositional calculus.
-rw-r--r--transp-inf110-02-typage.tex2
1 files changed, 1 insertions, 1 deletions
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}\\