From 4db89e16dcebd40e8a6ce48f747078e7962690a4 Mon Sep 17 00:00:00 2001
From: Jeremy Avigad <avigad@cmu.edu>
Date: Fri, 5 Jun 2015 16:11:47 +1000
Subject: [PATCH] feat(library/theories): create theories folder

---
 library/theories/theories.md | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 library/theories/theories.md

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
+========