diff --git a/README.md b/README.md
index 276f84c..c5365b8 100644
--- a/README.md
+++ b/README.md
@@ -99,13 +99,17 @@ We also show the limits of dependently-typed functional programming.
 
 * (15/09/2017)
   [Metatheory of System F](http://gallium.inria.fr/~remy/mpri/slides1.pdf)
-  (See also [intro](http://gallium.inria.fr/~remy/mpri/slides8.pdf),
-  and chap [1](http://gallium.inria.fr/~remy/mpri/cours1.pdf)
-  and [2](http://gallium.inria.fr/~remy/mpri/cours2.pdf)
-  of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf))
+  (see also [intro](http://gallium.inria.fr/~remy/mpri/slides8.pdf),
+  and chap [1,2,3](http://gallium.inria.fr/~remy/mpri/cours1.pdf)
+  and [4](http://gallium.inria.fr/~remy/mpri/cours2.pdf)
+  of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
 * (27/10/2017)
-  [ADTs, existential types, GADTs]
-  (http://gallium.inria.fr/~remy/mpri/slides2.pdf). 
+  [ADTs, existential types, GADTs](http://gallium.inria.fr/~remy/mpri/slides2.pdf)
+  ([without](http://gallium.inria.fr/~remy/mpri/slides2a.pdf) or
+   [only](http://gallium.inria.fr/~remy/mpri/slides2b.pdf)
+   the extra material; 
+  and [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf)).
+  of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf))
 * (03/11/2017) Logical relations.
 * (10/11/2017) Subtyping. Rows.
 * (17/11/2017) References, Value restriction, Side effects.