Commit 301a13a3 authored by Jonas Kastberg Hinrichsen's avatar Jonas Kastberg Hinrichsen
Browse files

Updated Project file

parent 8d8ba0ff
......@@ -10,4 +10,4 @@ theories/encodings/stype.v
theories/encodings/stype_enc.v
theories/examples/examples.v
theories/examples/proofs.v
theories/examples/encoding_proofs.v
\ No newline at end of file
theories/examples/proofs_enc.v
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment