diff --git a/papers/CPP21.md b/papers/CPP21.md
index 93d4203836891b758108ad1f0fce1d51a5506a84..5767a03366629243ed11503591e408869cf46fb9 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