move .v files to theories/, in preparation of merge

9d2a5184 · Ralf Jung · af5b1019 · 9d2a5184 · 9d2a5184 · 9d2a5184
Commit 9d2a5184 authored 8 years ago by Ralf Jung
--- a/adequacy.v
+++ b/adequacy.v
--- a/derived.v
+++ b/derived.v
--- a/heap.v
+++ b/heap.v
--- a/lang.v
+++ b/lang.v
--- a/lifetime.v
+++ b/lifetime.v
--- a/lifting.v
+++ b/lifting.v
--- a/memcpy.v
+++ b/memcpy.v
--- a/notation.v
+++ b/notation.v
--- a/perm.v
+++ b/perm.v
--- a/perm_incl.v
+++ b/perm_incl.v
--- a/proofmode.v
+++ b/proofmode.v
--- a/races.v
+++ b/races.v
--- a/tactics.v
+++ b/tactics.v
--- a/type.v
+++ b/type.v
--- a/type_incl.v
+++ b/type_incl.v
--- a/typing.v
+++ b/typing.v
--- a/wp_tactics.v
+++ b/wp_tactics.v