Renamed double.v -> par_recv.v

_CoqProject

@@ -39,8 +39,8 @@ theories/logrel/session_typing_rules.v
 theories/logrel/napp.v
 theories/logrel/lib/mutex.v
 theories/logrel/lib/par_start.v
-theories/logrel/examples/double.v
 theories/logrel/examples/pair.v
+theories/logrel/examples/par_recv.v
 theories/logrel/examples/rec_subtyping.v
 theories/logrel/examples/choice_subtyping.v
 theories/logrel/examples/mapper.v

papers/CPP21.md

@@ -15,7 +15,7 @@
 ## Examples
 
 - The parallel receive example in Section 4 can be found in
-  [theories/logrel/examples/double.v](../theories/logrel/examples/double.v):
+  [theories/logrel/examples/par_recv.v](../theories/logrel/examples/par_recv.v):
   This program performs two ``racy'' parallel receives on the same channel from
   two different threads, using locks to allow the channel to be shared.
 - The parallel compute client example in Section 4 can be found in