diff options
| -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}\\ |