diff options
author | Rob Sloan <varomodt@gmail.com> | 2016-08-08 14:38:12 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2016-08-08 11:38:12 -0700 |
commit | 256118d28ac0a9ea3639a7eeb7a50a31b88e9fd1 (patch) | |
tree | d3d2ef97f7cfadcca611bdf9cd01bba438770856 /src/Util/Notations.v | |
parent | 117b11817e21a48aeec424c805676bbde3d96f71 (diff) |
Remove unnecessary pseudo notations (#47)
* Remove unnecessary pseudo notations
* Remove Reserved Notations for Pseudo
Diffstat (limited to 'src/Util/Notations.v')
-rw-r--r-- | src/Util/Notations.v | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/Util/Notations.v b/src/Util/Notations.v index 8595b0189..5daa2d4a9 100644 --- a/src/Util/Notations.v +++ b/src/Util/Notations.v @@ -36,23 +36,6 @@ Reserved Infix "≢ᵣ" (at level 70, no associativity). Reserved Notation "a !== b" (at level 70, no associativity). Reserved Notation "a ≢ b" (at level 70, no associativity). Reserved Notation "$$ v" (at level 40). -Reserved Notation "% A" (at level 20, right associativity). -Reserved Notation "$ A" (at level 20, right associativity). -Reserved Notation "A :[ B ]:" (at level 20, right associativity). -Reserved Notation "# A" (at level 20, right associativity). -Reserved Notation "A :+: B" (at level 60, right associativity). -Reserved Notation "A :+c: B" (at level 60, right associativity). -Reserved Notation "A :-: B" (at level 60, right associativity). -Reserved Notation "A :&: B" (at level 45, right associativity). -Reserved Notation "A :^: B" (at level 45, right associativity). -Reserved Notation "A :>>: B" (at level 60, right associativity). -Reserved Notation "A :<<: B" (at level 60, right associativity). -Reserved Notation "A :*: B" (at level 55, right associativity). -(*Reserved Notation "O :( A , B ): :?: L ::: R" (at level 70, right associativity).*) (* breaks everything *) -Reserved Notation "F :**: e" (at level 70, right associativity). -Reserved Notation "E :->: F" (at level 70, right associativity). -Reserved Notation "A :|: B" (at level 65, left associativity). -Reserved Notation "n ::: A :():" (at level 65, left associativity). Reserved Notation "& x" (at level 30). Reserved Notation "** x" (at level 30). Reserved Notation "A <- X ; B" (at level 70, right associativity). |