src/Pure/ROOT

--- a/src/Pure/ROOT	Sun Apr 10 21:30:48 2016 +0200
+++ b/src/Pure/ROOT	Sun Apr 10 21:46:12 2016 +0200
@@ -1,6 +1,9 @@
 chapter Pure
 
 session Pure =
+  description {*
+    The Pure logical framework
+  *}
   global_theories
     Pure
   theories