Merge branch 'erasure' into 'master'

Prophecy Erasure See merge request iris/iris!275

Merge branch 'erasure' into 'master'
Prophecy Erasure See merge request iris/iris!275
01c5924b · Ralf Jung · e0d10c05 · a466a842 · 01c5924b · 01c5924b
Commit 01c5924b authored 5 years ago by Ralf Jung
--- a/_CoqProject
+++ b/_CoqProject
@@ -105,6 +105,7 @@ theories/heap_lang/notation.v
 theories/heap_lang/proofmode.v
 theories/heap_lang/adequacy.v
 theories/heap_lang/total_adequacy.v
+theories/heap_lang/proph_erasure.v
 theories/heap_lang/lib/spawn.v
 theories/heap_lang/lib/par.v
 theories/heap_lang/lib/assert.v

--- a/theories/heap_lang/proph_erasure.v
+++ b/theories/heap_lang/proph_erasure.v