Skip to content
Snippets Groups Projects
Commit 0573ded5 authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Removed old notation

parent c1bfaa60
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
theories/logrel/session_types.v
+ 0
− 2
View file @ 0573ded5
...@@ -136,6 +136,4 @@ Notation "<!!> A ; P" := ...@@ -136,6 +136,4 @@ Notation "<!!> A ; P" :=
(lsty_send A P) (at level 20, A, P at level 200) : lsty_scope. (lsty_send A P) (at level 20, A, P at level 200) : lsty_scope.
Notation "<??> A ; P" := Notation "<??> A ; P" :=
(lsty_recv A P) (at level 20, A, P at level 200) : lsty_scope. (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. Infix "<++++>" := lsty_app (at level 60) : lsty_scope.
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