fix README.md and _CoqProject

README.md

@@ -31,9 +31,12 @@ CPU cores.
 
 ## Updating dependencies
 
+To pull the latest submodules dependencies as committed to the repository, run
+
+    git submodule update --recursive
+
 By default, the `git pull` command recursively fetches submodule
-changes. However, it does not apply the changes. To apply the submodule updates
-you need to run
+changes. However, it does not apply the changes. To update the dependencies run
 
     git submodule update --recursive --remote
 

_CoqProject

@@ -23,6 +23,7 @@ theories/aneris_lang/adequacy.v
 theories/aneris_lang/program_logic/aneris_hoare.v
 theories/aneris_lang/program_logic/aneris_lifting.v
 theories/aneris_lang/program_logic/aneris_weakestpre.v
+theories/aneris_lang/program_logic/aneris_adequacy.v
 theories/aneris_lang/proofmode.v
 
 theories/aneris_lang/lib/assert.v