diff --git a/_CoqProject b/_CoqProject
index 0f233d111c04b9920d516bb407a523eee733c31f..cad9366d9174fa2c564bc015e2132995cfea0a51 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -54,7 +54,7 @@ program_logic/model.v
 program_logic/adequacy.v
 program_logic/hoare_lifting.v
 program_logic/lifting.v
-program_logic/namespace.v
+program_logic/invariants.v
 program_logic/viewshifts.v
 program_logic/wsat.v
 program_logic/ownership.v
@@ -64,7 +64,7 @@ program_logic/resources.v
 program_logic/hoare.v
 program_logic/language.v
 program_logic/tests.v
-program_logic/global_cmra.v
+program_logic/ghost_ownership.v
 heap_lang/heap_lang.v
 heap_lang/heap_lang_tactics.v
 heap_lang/lifting.v
diff --git a/program_logic/global_cmra.v b/program_logic/ghost_ownership.v
similarity index 100%
rename from program_logic/global_cmra.v
rename to program_logic/ghost_ownership.v
diff --git a/program_logic/namespace.v b/program_logic/invariants.v
similarity index 100%
rename from program_logic/namespace.v
rename to program_logic/invariants.v