src/Tools/ROOT

--- a/src/Tools/ROOT	Mon Oct 22 11:57:52 2018 +0200
+++ b/src/Tools/ROOT	Mon Oct 22 12:22:18 2018 +0200
@@ -1,3 +1,5 @@
+chapter Tools
+
 session Spec_Check in Spec_Check = Pure +
   theories
     Spec_Check