Prove erasure of prophecy variables in heap_lang

a466a842 · Amin Timany · e0d10c05 · a466a842 · a466a842
Commit a466a842 authored 5 years ago by Amin Timany
--- 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