diff options
Diffstat (limited to 'theories/Sets/Ensembles.v')
| -rw-r--r-- | theories/Sets/Ensembles.v | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/theories/Sets/Ensembles.v b/theories/Sets/Ensembles.v index 8f579214..0fefb354 100644 --- a/theories/Sets/Ensembles.v +++ b/theories/Sets/Ensembles.v @@ -90,9 +90,8 @@ Section Ensembles. End Ensembles. -Hint Unfold In Included Same_set Strict_Included Add Setminus Subtract: sets - v62. +Hint Unfold In Included Same_set Strict_Included Add Setminus Subtract: sets. Hint Resolve Union_introl Union_intror Intersection_intro In_singleton Couple_l Couple_r Triple_l Triple_m Triple_r Disjoint_intro - Extensionality_Ensembles: sets v62. + Extensionality_Ensembles: sets. |