src/Doc/ROOT

--- a/src/Doc/ROOT	Fri Dec 16 09:55:22 2022 +0100
+++ b/src/Doc/ROOT	Fri Dec 16 18:11:03 2022 +0100
@@ -26,6 +26,7 @@
     Introduction
     Foundations
     Refinement
+    Partial_Functions
     Inductive_Predicate
     Evaluation
     Computations