diff options
Diffstat (limited to 'theories/Sorting/PermutSetoid.v')
-rw-r--r-- | theories/Sorting/PermutSetoid.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Sorting/PermutSetoid.v b/theories/Sorting/PermutSetoid.v index fa807c15f..6f0d76a62 100644 --- a/theories/Sorting/PermutSetoid.v +++ b/theories/Sorting/PermutSetoid.v @@ -19,7 +19,7 @@ Require Import Omega Relations Multiset SetoidList. The relation between the two relations are in lemma [permutation_Permutation]. - File [PermutEq] concerns Leibniz equality : it shows in particular + File [Permutation] concerns Leibniz equality : it shows in particular that [List.Permutation] and [permutation] are equivalent in this context. *) |