diff options
| author | Assia Mahboubi | 2015-11-20 17:27:48 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-11-20 17:27:48 +0100 |
| commit | fb82de6da0de4d36157a72d27f0f7a9defd2f2ae (patch) | |
| tree | ef6dfea8794418edff214a241886b8f39a8ba638 | |
| parent | c08477419ac51b139fc6dcfaea9517f3d0bb6e99 (diff) | |
Typo.
| -rw-r--r-- | mathcomp/ssreflect/ssrbool.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/ssreflect/ssrbool.v b/mathcomp/ssreflect/ssrbool.v index 0bcfda2..ae634ba 100644 --- a/mathcomp/ssreflect/ssrbool.v +++ b/mathcomp/ssreflect/ssrbool.v @@ -290,7 +290,7 @@ Reserved Notation "p1 =i p2" (* [type var separator expr] *) (* where "type" is the type of the comprehension (e.g., pred) and "separator" *) (* is | or => . It is important that in other notations a leading square *) -(* bracket [ is always by an operator symbol or a fixed identifier. *) +(* bracket [ is always followed by an operator symbol or a fixed identifier. *) Reserved Notation "[ /\ P1 & P2 ]" (at level 0, only parsing). Reserved Notation "[ /\ P1 , P2 & P3 ]" (at level 0, format |