pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2025-03-19 19:12:29 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Sets: change parsing precedence

Browse source
This commit is contained in:
Adam Chlipala 2016-04-26 13:46:48 -04:00
parent 512f585d90
commit 132ac914e4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Sets.v
View file

@ -40,7 +40,7 @@ Notation "{ x1 , .. , xN }" := (constant (cons x1 (.. (cons xN nil) ..))).
Notation "[ P ]" := (check P). Notation "[ P ]" := (check P).
Infix "\cup" := union (at level 40). Infix "\cup" := union (at level 40).
Infix "\cap" := intersection (at level 40). Infix "\cap" := intersection (at level 40).
Infix "\setminus" := minus (at level 70). Infix "\setminus" := minus (at level 40).
Infix "\subseteq" := subseteq (at level 70). Infix "\subseteq" := subseteq (at level 70).
Infix "\subset" := subset (at level 70). Infix "\subset" := subset (at level 70).
Notation "[ x | P ]" := (scomp (fun x => P)). Notation "[ x | P ]" := (scomp (fun x => P)).