Commit 0781afe2 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Add new algebra/list to _CoqProject.

parent 6608490c
...@@ -55,6 +55,7 @@ algebra/upred_tactics.v ...@@ -55,6 +55,7 @@ algebra/upred_tactics.v
algebra/upred_big_op.v algebra/upred_big_op.v
algebra/frac.v algebra/frac.v
algebra/one_shot.v algebra/one_shot.v
program_logic/model.v program_logic/model.v
program_logic/adequacy.v program_logic/adequacy.v
program_logic/hoare_lifting.v program_logic/hoare_lifting.v
Supports Markdown
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