diff options
Diffstat (limited to 'theories/Sorting')
-rw-r--r-- | theories/Sorting/Permutation.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Sorting/Permutation.v b/theories/Sorting/Permutation.v index 6cded6d95..50b759b5a 100644 --- a/theories/Sorting/Permutation.v +++ b/theories/Sorting/Permutation.v @@ -7,7 +7,7 @@ (************************************************************************) (*********************************************************************) -(** ** List permutations as a composition of adjacent transpositions *) +(** * List permutations as a composition of adjacent transpositions *) (*********************************************************************) (* Adapted in May 2006 by Jean-Marc Notin from initial contents by |