diff --git a/thys/ROOT b/thys/ROOT
new file mode 100644
--- /dev/null
+++ b/thys/ROOT
@@ -0,0 +1,4 @@
+chapter_definition AFP
+  description "
+    Archive of Formal Proofs
+  "