diff --git a/_CoqProject b/_CoqProject
index 7e0e9a5a24e7e68d97c1c537a27897254887de15..bc8a28e2a8203cabc1ba8399cc3abb6d1e6a2648 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -45,13 +45,6 @@ theories/typing/fixpoint.v
 theories/typing/type_sum.v
 theories/typing/typing.v
 theories/typing/soundness.v
-theories/typing/examples/get_x.v
-theories/typing/examples/rebor.v
-theories/typing/examples/unbox.v
-theories/typing/examples/init_prod.v
-theories/typing/examples/option_as_mut.v
-theories/typing/examples/unwrap_or.v
-theories/typing/examples/lazy_lft.v
 theories/typing/unsafe/cell.v
 theories/typing/unsafe/spawn.v
 theories/typing/unsafe/refcell/refcell.v
@@ -60,3 +53,10 @@ theories/typing/unsafe/refcell/refmut.v
 theories/typing/unsafe/refcell/refcell_code.v
 theories/typing/unsafe/refcell/ref_code.v
 theories/typing/unsafe/refcell/refmut_code.v
+theories/typing/examples/get_x.v
+theories/typing/examples/rebor.v
+theories/typing/examples/unbox.v
+theories/typing/examples/init_prod.v
+theories/typing/examples/option_as_mut.v
+theories/typing/examples/unwrap_or.v
+theories/typing/examples/lazy_lft.v