diff options
| author | David A. Madore <david+git@madore.org> | 2023-12-13 16:20:23 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-12-13 16:20:28 +0100 |
| commit | fdeea61df3ecc7b1009893dbd318e50903065601 (patch) | |
| tree | 430ce23855a092087e1fe400c97175f1a71ecad5 | |
| parent | a40a72a07392dfa97f710d9d80b86288252ba040 (diff) | |
| download | inf110-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.tex | 2 |
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}\\ |