Merge branch 'amin/erasure' into 'master'

Add erasure See merge request !22

Merge branch 'amin/erasure' into 'master'
Add erasure See merge request !22
af1c8a72 · Ralf Jung · 14798a10 · 2447cee6 · af1c8a72 · af1c8a72
Commit af1c8a72 authored Jun 26, 2019 by Ralf Jung
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 854 additions and 0 deletions

_CoqProject _CoqProject +1 -0

theories/logatom/proph_erasure.v theories/logatom/proph_erasure.v +853 -0

No files found.
--- a/_CoqProject
+++ b/_CoqProject
@@ -109,3 +109,4 @@ theories/logatom/conditional_increment/spec.v
 theories/logatom/conditional_increment/cinc.v
 theories/logatom/rdcss/rdcss.v
 theories/logatom/rdcss/spec.v
+theories/logatom/proph_erasure.v
--- a/theories/logatom/proph_erasure.v
+++ b/theories/logatom/proph_erasure.v