src/Doc/ROOT

--- a/src/Doc/ROOT	Wed Feb 22 16:21:26 2017 +0000
+++ b/src/Doc/ROOT	Wed Feb 22 20:24:50 2017 +0100
@@ -29,6 +29,7 @@
     Refinement
     Inductive_Predicate
     Evaluation
+    Computations
     Adaptation
     Further
   document_files (in "..")