diff --git a/_CoqProject b/_CoqProject
index 5e78903..9ac50da 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,6 +1,4 @@
--Q theories/Mon SSProve.Mon
--Q theories/Relational SSProve.Relational
--Q theories/Crypt SSProve.Crypt
+-Q theories SSProve
 
 theories/Mon/Base.v
 theories/Mon/SPropBase.v