From 342b275ccab74e4c0acb69ec232d000df5ef2f81 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 22 Sep 2020 22:33:07 +0200
Subject: [PATCH] Note about CPP files.

---
 papers/CPP21.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/papers/CPP21.md b/papers/CPP21.md
index 93d4203..5767a03 100644
--- a/papers/CPP21.md
+++ b/papers/CPP21.md
@@ -1,3 +1,9 @@
+# Code corresponding to the paper
+
+All code corresponding to the paper can be found in the directory
+[theories/logrel](../theories/logrel). The file [README.md](../README.md)
+contains an overview of the files in that directory.
+
 # Differences between the paper and the mechanisation
 
 - The semantic encoding of ground types use existential quantification in the
-- 
GitLab