From ee1c154aa47aeffdd84340f97edc1d9546a27971 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 9 Feb 2016 15:13:31 +0100
Subject: [PATCH] rename namespace -> invariants, global_cmra ->
 ghost_ownership

---
 _CoqProject                                        | 4 ++--
 program_logic/{global_cmra.v => ghost_ownership.v} | 0
 program_logic/{namespace.v => invariants.v}        | 0
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename program_logic/{global_cmra.v => ghost_ownership.v} (100%)
 rename program_logic/{namespace.v => invariants.v} (100%)

diff --git a/_CoqProject b/_CoqProject
index 0f233d111..cad9366d9 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
-- 
GitLab