add missing file to _CoqProject

de1d8da8 · Ralf Jung · 61e0e3fa · de1d8da8
Commit de1d8da8 authored Apr 09, 2018 by Ralf Jung
--- a/_CoqProject
+++ b/_CoqProject
@@ -8,6 +8,7 @@ theories/barrier/example_client.v
 theories/barrier/example_joining_existentials.v

 theories/lecture_notes/coq_intro_example_1.v
+theories/lecture_notes/coq_intro_example_2.v

 theories/spanning_tree/graph.v
 theories/spanning_tree/mon.v