From 9d2a5184adcd3165563819fe3f11969d06d88e10 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 4 Nov 2016 13:41:16 +0100
Subject: [PATCH] move .v files to theories/, in preparation of merge

---
 adequacy.v => theories/adequacy.v     | 0
 derived.v => theories/derived.v       | 0
 heap.v => theories/heap.v             | 0
 lang.v => theories/lang.v             | 0
 lifetime.v => theories/lifetime.v     | 0
 lifting.v => theories/lifting.v       | 0
 memcpy.v => theories/memcpy.v         | 0
 notation.v => theories/notation.v     | 0
 perm.v => theories/perm.v             | 0
 perm_incl.v => theories/perm_incl.v   | 0
 proofmode.v => theories/proofmode.v   | 0
 races.v => theories/races.v           | 0
 tactics.v => theories/tactics.v       | 0
 type.v => theories/type.v             | 0
 type_incl.v => theories/type_incl.v   | 0
 typing.v => theories/typing.v         | 0
 wp_tactics.v => theories/wp_tactics.v | 0
 17 files changed, 0 insertions(+), 0 deletions(-)
 rename adequacy.v => theories/adequacy.v (100%)
 rename derived.v => theories/derived.v (100%)
 rename heap.v => theories/heap.v (100%)
 rename lang.v => theories/lang.v (100%)
 rename lifetime.v => theories/lifetime.v (100%)
 rename lifting.v => theories/lifting.v (100%)
 rename memcpy.v => theories/memcpy.v (100%)
 rename notation.v => theories/notation.v (100%)
 rename perm.v => theories/perm.v (100%)
 rename perm_incl.v => theories/perm_incl.v (100%)
 rename proofmode.v => theories/proofmode.v (100%)
 rename races.v => theories/races.v (100%)
 rename tactics.v => theories/tactics.v (100%)
 rename type.v => theories/type.v (100%)
 rename type_incl.v => theories/type_incl.v (100%)
 rename typing.v => theories/typing.v (100%)
 rename wp_tactics.v => theories/wp_tactics.v (100%)

diff --git a/adequacy.v b/theories/adequacy.v
similarity index 100%
rename from adequacy.v
rename to theories/adequacy.v
diff --git a/derived.v b/theories/derived.v
similarity index 100%
rename from derived.v
rename to theories/derived.v
diff --git a/heap.v b/theories/heap.v
similarity index 100%
rename from heap.v
rename to theories/heap.v
diff --git a/lang.v b/theories/lang.v
similarity index 100%
rename from lang.v
rename to theories/lang.v
diff --git a/lifetime.v b/theories/lifetime.v
similarity index 100%
rename from lifetime.v
rename to theories/lifetime.v
diff --git a/lifting.v b/theories/lifting.v
similarity index 100%
rename from lifting.v
rename to theories/lifting.v
diff --git a/memcpy.v b/theories/memcpy.v
similarity index 100%
rename from memcpy.v
rename to theories/memcpy.v
diff --git a/notation.v b/theories/notation.v
similarity index 100%
rename from notation.v
rename to theories/notation.v
diff --git a/perm.v b/theories/perm.v
similarity index 100%
rename from perm.v
rename to theories/perm.v
diff --git a/perm_incl.v b/theories/perm_incl.v
similarity index 100%
rename from perm_incl.v
rename to theories/perm_incl.v
diff --git a/proofmode.v b/theories/proofmode.v
similarity index 100%
rename from proofmode.v
rename to theories/proofmode.v
diff --git a/races.v b/theories/races.v
similarity index 100%
rename from races.v
rename to theories/races.v
diff --git a/tactics.v b/theories/tactics.v
similarity index 100%
rename from tactics.v
rename to theories/tactics.v
diff --git a/type.v b/theories/type.v
similarity index 100%
rename from type.v
rename to theories/type.v
diff --git a/type_incl.v b/theories/type_incl.v
similarity index 100%
rename from type_incl.v
rename to theories/type_incl.v
diff --git a/typing.v b/theories/typing.v
similarity index 100%
rename from typing.v
rename to theories/typing.v
diff --git a/wp_tactics.v b/theories/wp_tactics.v
similarity index 100%
rename from wp_tactics.v
rename to theories/wp_tactics.v
-- 
GitLab