From 0573ded503ce5de516b47118ee9586196a92fd16 Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Sat, 11 Apr 2020 12:31:12 +0200
Subject: [PATCH] Removed old notation

---
 theories/logrel/session_types.v | 2 --
 1 file changed, 2 deletions(-)

diff --git a/theories/logrel/session_types.v b/theories/logrel/session_types.v
index 5545ff0..2fbb794 100644
--- a/theories/logrel/session_types.v
+++ b/theories/logrel/session_types.v
@@ -136,6 +136,4 @@ Notation "<!!> A ; P" :=
   (lsty_send A P) (at level 20, A, P at level 200) : lsty_scope.
 Notation "<??> A ; P" :=
   (lsty_recv A P) (at level 20, A, P at level 200) : lsty_scope.
-Infix "<+++>" := lsty_select (at level 60) : lsty_scope.
-Infix "<&&&>" := lsty_branch (at level 85) : lsty_scope.
 Infix "<++++>" := lsty_app (at level 60) : lsty_scope.
-- 
GitLab