From f5866113d0ab1463eae690871a44fca9c2ed6dcd Mon Sep 17 00:00:00 2001
From: Olivier Laurent
Date: Sun, 5 Apr 2020 19:34:07 +0200
Subject: A library on cyclic permutations: CPermutation   (following the
 pattern of Permutation.v)

---
 doc/stdlib/index-list.html.template | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 7fa621c11c..73f1df010d 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -444,6 +444,7 @@ through the <tt>Require Import</tt> command.</p>
     theories/Sorting/PermutSetoid.v
     theories/Sorting/Mergesort.v
     theories/Sorting/Sorted.v
+    theories/Sorting/CPermutation.v
   </dd>
 
   <dt> <b>Wellfounded</b>:
-- 
cgit v1.2.3