diff --git a/_CoqProject b/_CoqProject
index 50d4739448a691c727ca1a0361e3da48871181eb..fdfda5bfd88b4a21bba3f60bceb2b135fbb8b12f 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -33,10 +33,10 @@ theories/bi/big_op.v
 theories/bi/updates.v
 theories/bi/bi.v
 theories/bi/tactics.v
-theories/bi/counter_examples.v
-theories/bi/fixpoint.v
 theories/bi/monpred.v
 theories/bi/embedding.v
+theories/bi/lib/counter_examples.v
+theories/bi/lib/fixpoint.v
 theories/bi/lib/fractional.v
 theories/bi/lib/atomic.v
 theories/bi/lib/core.v
diff --git a/theories/bi/counter_examples.v b/theories/bi/lib/counter_examples.v
similarity index 100%
rename from theories/bi/counter_examples.v
rename to theories/bi/lib/counter_examples.v
diff --git a/theories/bi/fixpoint.v b/theories/bi/lib/fixpoint.v
similarity index 100%
rename from theories/bi/fixpoint.v
rename to theories/bi/lib/fixpoint.v