diff --git a/library/theories/theories.md b/library/theories/theories.md
new file mode 100644
index 0000000000..44aeb551d8
--- /dev/null
+++ b/library/theories/theories.md
@@ -0,0 +1,2 @@
+theories
+========