Omitted proofs_enc and branching_proofs as they no longer work

31b96e6d · jihgfee · 547f4934 · 31b96e6d
Commit 31b96e6d authored Jun 26, 2019 by jihgfee
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 2 deletions

_CoqProject _CoqProject +0 -2

No files found.
--- a/_CoqProject
+++ b/_CoqProject
@@ -6,6 +6,4 @@ theories/utils/list.v
 theories/channel/channel.v
 theories/channel/proto_model.v
 theories/channel/proto_channel.v
-theories/examples/proofs_enc.v
-theories/examples/branching_proofs.v
 theories/examples/list_sort.v