From 914e4c6c8b9a5c7c87454c2da960dd8d4b8c81cd Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <mattam@mattam.org>
Date: Sat, 16 Nov 2019 14:22:14 +0100
Subject: [PATCH] =?UTF-8?q?Also=20mention=20Th=C3=A9o's=20README.md=20file?=
 =?UTF-8?q?s=20in=20pcuic/=20and=20safechecker/?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index bf7660dc1..36b95dc69 100644
--- a/README.md
+++ b/README.md
@@ -55,6 +55,8 @@ the development and installation instructions for the popl artifact sources vers
 | 4.3: Erasure Correctness     |  erasure ErasureCorrectness                            |
 | Extracted erasure            |  test-suite erasure_test                               |
 
+The `pcuic/theories/README.md` and `safechecker/theories/README.md` also provide detailed
+summaries of the files in these two modules.
 
 If you don't have Coq installed, the easiest way to get both is to use the 
 `opam` package manager. First install `opam` from your package manager