diff --git a/src/index.html b/src/index.html
index d07d70c..32b63c4 100644
--- a/src/index.html
+++ b/src/index.html
@@ -18,6 +18,10 @@ <h1>Coq Platform Docs - Demo</h1>
         <li><a href="SearchTutorial.v">Search Tutorial (source code)</a></li>
         <li><a href="Tutorial_Equations_basics.html">Equations Tutorial : basics (interactive version)</a></li>
         <li><a href="Tutorial_Equations_basics.v">Equations Tutorial : basics (source code)</a></li>
+        <li><a href="Tutorial_Equations_Obligations.html">Equations Tutorial : obligations (interactive version)</a></li>
+        <li><a href="Tutorial_Equations_Obligations.v">Equations Tutorial : obligations (source code)</a></li>
+        <li><a href="Tutorial_Equations_wf.html">Equations Tutorial : well-founded recursion (interactive version)</a></li>
+        <li><a href="Tutorial_Equations_wf.v">Equations Tutorial : well-founded recursion (source code)</a></li>
     </ul>
 </body>
 </html>
\ No newline at end of file