diff options
Diffstat (limited to 'theories/Init/Datatypes.v')
| -rwxr-xr-x | theories/Init/Datatypes.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Init/Datatypes.v b/theories/Init/Datatypes.v index 03b7c06f08..65d0722c3c 100755 --- a/theories/Init/Datatypes.v +++ b/theories/Init/Datatypes.v @@ -80,8 +80,8 @@ Notation Snd := (snd ? ?). Hints Resolve pair inl inr : core v62. -(** Parsing only of things in [Datatypes.v] *) V7only[ +(** Parsing only of things in [Datatypes.v] *) Notation "< A , B > ( x , y )" := (pair A B x y) (at level 1, only parsing, A annot). Notation "< A , B > 'Fst' ( p )" := (fst A B p) (at level 1, only parsing, A annot). Notation "< A , B > 'Snd' ( p )" := (snd A B p) (at level 1, only parsing, A annot). |